2365 search results - page 430 / 473 » Computing a Representation of the Local Environment |
CACM
2010
13 years 6 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
TON
2010
13 years 3 months ago
2010
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
JAISE
2011
13 years 3 months ago
2011
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
Tiny embedded systems have not been an ideal outfit for high performance computing due to their constrained resources. Limitations in processing power, battery life, communication ...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Web search engines are often implemented as centralized systems. Designing and implementing a Web search engine in a distributed environment is a challenging engineering task that...