15792 search results - page 115 / 3159 » Computational Abstraction Steps |
CMSB
2008
Springer
13 years 11 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
HRI
2009
ACM
14 years 4 months ago
2009
ACM
Visualization Abstraction Algorithm for Geographic Map-based Human-Robot Interfaces Curtis M. Humphrey Julie A. Adams Department of Electrical Engineering and Computer Science Vand...
MFPS
1993
14 years 1 months ago
1993
al abstract machine for graph reduction Alan Jeffrey Report 3/92 August 1992 Computer Science School of Cognitive and Computing Sciences University of Sussex Brighton BN1 9QH ISSN ...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Ever since Adleman [1] solved the Hamilton Path problem using a combinatorial molecular method, many other hard computational problems have been investigated with the proposed DNA ...
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...