17298 search results - page 195 / 3460 » Abstract computing machines |
119
Voted
ENTCS
2008
15 years 3 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
169
Voted
CG
2011
Springer
14 years 10 months ago
2011
Springer
TON: Curve Network Abstraction for 3D Shapes Fernando de Goesa,∗ , Siome Goldensteinb , Mathieu Desbruna , Luiz Velhoc aCalifornia Institute of Technology, Pasadena, CA 91125, US...
91
Voted
AAAI
2008
15 years 6 months ago
2008
ptimality in Abstract Argumentation Iyad Rahwan 1 Faculty of Informatics, British University in Dubai P.O.Box 502216, Dubai, UAE 2 (Fellow) School of Informatics, University of Edi...
65
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
m Design for Abstract Argumentation Iyad Rahwan 1 (Fellow) School of Informatics, University of Edinburgh, Edinburgh EH8 9LE, UK 2 Faculty of Informatics, British University in Dub...
122
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...