1299 search results - page 78 / 260 » On the Correctness of Operating System Kernels |
156
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
165
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
Internet coordinate-based systems are poised to become an important service to support overlay construction and topology-aware applications. Indeed, through network distance embed...
138
click to vote
TROB
2008
15 years 3 months ago
2008
This paper describes a biologically inspired approach to vision-only simultaneous localization and mapping (SLAM) on ground-based platforms. The core SLAM system, dubbed RatSLAM, i...
118
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
FFPF is a network monitoring framework designed for three things: speed (handling high link rates), scalability (ability to handle multiple applications) and flexibility. Multiple...
121
click to vote
SRDS
2006
IEEE
15 years 10 months ago
2006
IEEE
Web services and service oriented architectures are becoming the de facto standard for Internet computing. A main problem faced by users of such services is how to ensure that the...