4940 search results - page 646 / 988 » On the Complexity of Universal Programs |
174
click to vote
TABLEAUX
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
183
Voted
PRICAI
2004
Springer
16 years 22 hour ago
2004
Springer
We present a novel geometric model for robot mapping based on shape. Shape similarity measure and matching techniques originating from computer vision are specially redesigned for ...
193
Voted
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of aggressive code transformations. Since most of these transformations are...
188
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
204
click to vote
MOBICOM
2003
ACM
15 years 12 months ago
2003
ACM
We develop algorithms for finding minimum energy disjoint paths in an all-wireless network, for both the node and linkdisjoint cases. Our major results include a novel polynomial...