Sciweavers

17082 search results - page 239 / 3417
» Abstractions for Mobile Computation
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
13 years 10 months ago
Towards a Quantum Calculus: (Work in Progress, Extended Abstract)
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...
Philippe Jorrand, Simon Perdrix
CG
2011
Springer
13 years 5 months ago
Exoskeleton: Curve network abstraction for 3D shapes
TON: Curve Network Abstraction for 3D Shapes Fernando de Goesa,∗ , Siome Goldensteinb , Mathieu Desbruna , Luiz Velhoc aCalifornia Institute of Technology, Pasadena, CA 91125, US...
Fernando de Goes, Siome Goldenstein, Mathieu Desbr...
AAAI
2008
14 years 1 months ago
Pareto Optimality in Abstract Argumentation
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...
Iyad Rahwan, Kate Larson
ATAL
2008
Springer
14 years 23 days ago
Mechanism design for abstract argumentation
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...
Iyad Rahwan, Kate Larson
DAC
2005
ACM
14 years 11 months ago
Word level predicate abstraction and refinement for verifying RTL verilog
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...
Himanshu Jain, Daniel Kroening, Natasha Sharygina,...