15792 search results - page 129 / 3159 » Computational Abstraction Steps |
NDJFL
2010
13 years 4 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
Abstracting Interaction in Immersive Sensor Networks TR-UTEDGE-2007-007 Sanem Kabadayi Christine Julien ? Copyright 2007 The University of Texas at Austin
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
IEEEPACT
2005
IEEE
14 years 2 months ago
2005
IEEE
llel Abstractions in Fortress Guy Steele Sun Microsystems Laboratories April 24, 2006
ELP
1989
14 years 1 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...