High-level methods for quantum computation and information

被引：13
|
作者：
Abramsky, S [1 ]
机构：
[1] Univ Oxford, Comp Lab, Oxford OX1 3QD, England
来源：
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/LICS.2004.1319635
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：410 / 414
页数：5
相关论文
共 50 条
  • [41] Learning from Demonstrations with High-Level Side Information
    Wen, Min
    Papusha, Ivan
    Topcu, Ufuk
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3055 - 3061
  • [42] HIGH-LEVEL SYNTHESIS USING GIVEN DATAPATH INFORMATION
    MIYAZAKI, T
    IKEDA, M
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993, E76A (10) : 1617 - 1625
  • [43] Reuse of high-level information requests: Leveraging the investment
    Washburn, GA
    Delcambre, LML
    Whiting, MA
    EIGHTH INTERNATIONAL CONFERENCE ON SCIENTIFIC AND STATISTICAL DATABASE SYSTEMS, PROCEEDINGS, 1996, : 186 - 195
  • [44] Utilizing high-level information for formal hardware verification
    Johannsen, P
    Drechsler, R
    ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 419 - 431
  • [45] The potential of computation reuse in high-level optimization of a signal recognition system
    Demertzi, Melina
    Diniz, Pedro C.
    Hall, Mary W.
    Gilbert, Anna C.
    Wang, Yi
    2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 2550 - +
  • [46] Use of computation-unit integrated memories in high-level synthesis
    Huang, Chao
    Ravi, Srivaths
    Raghunathan, Anand
    Jha, Niraj K.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (10) : 1969 - 1989
  • [47] HIGH-LEVEL MANAGEMENT OF COMPUTATION HISTORY FOR THE DESIGN AND IMPLEMENTATION OF A PROLOG SYSTEM
    LOIA, V
    QUAGGETTO, M
    SOFTWARE-PRACTICE & EXPERIENCE, 1993, 23 (02): : 119 - 150
  • [48] High-level data conversion synthesis by symbolic methods
    Horta, NC
    Franca, JE
    ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 4, 1996, : 802 - 805
  • [49] METHODS FOR REMOVAL OF ACTINIDES FROM HIGH-LEVEL WASTES
    BOND, WD
    CLAIBORNE, HC
    LEUZE, RE
    NUCLEAR TECHNOLOGY, 1974, 24 (03) : 362 - 370
  • [50] Low- and High-level Methods for Tree Segmentation
    Czuni, Laszlo
    Ben Alaya, Karim
    PROCEEDINGS OF THE 2019 10TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS - TECHNOLOGY AND APPLICATIONS (IDAACS), VOL. 1, 2019, : 189 - 192
12345