15792 search results - page 115 / 3159 » Computational Abstraction Steps |
141
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
99
Voted
HRI
2009
ACM
15 years 10 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...
139
Voted
MFPS
1993
15 years 7 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 ...
116
Voted
IPPS
2000
IEEE
15 years 8 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 ...
108
Voted
CHARME
2005
Springer
15 years 9 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 ...