536 search results - page 54 / 108 » A computer verified, monadic, functional implementation of t... |
164
click to vote
SIGOPSE
1998
ACM
15 years 10 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
169
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
Adaptively Sampled Distance Fields (ADFs) are a unifying representation of shape that integrate numerous concepts in computer graphics including the representation of geometry and...
155
click to vote
PAMI
2006
15 years 6 months ago
2006
Visual attention is a mechanism which filters out redundant visual information and detects the most relevant parts of our visual field. Automatic determination of the most visually...
224
click to vote
EUPROJECTS
2006
Springer
15 years 9 months ago
2006
Springer
Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of thi...
138
click to vote
AMC
2005
15 years 6 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...