Sciweavers

3656 search results - page 688 / 732
» Compact Location Problems
Sort
View
FSTTCS
2009
Springer
16 years 16 days ago
Covering of ordinals
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
Laurent Braud
MICAI
2009
Springer
16 years 15 days ago
People Detection by a Mobile Robot Using Stereo Vision in Dynamic Indoor Environments
People detection and tracking is a key issue for social robot design and effective human robot interaction. This paper addresses the problem of detecting people with a mobile robo...
José Alberto Méndez-Polanco, Ang&eac...
OOPSLA
2009
Springer
16 years 15 days ago
Scalable nonblocking concurrent objects for mission critical code
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...
Damian Dechev, Bjarne Stroustrup
CHIMIT
2009
ACM
16 years 14 days ago
Network stack diagnosis and visualization tool
End users are often frustrated by unexpected problems while using networked software, leading to frustrated calls to the help desk seeking solutions. However, trying to locate the...
Krist Wongsuphasawat, Pornpat Artornsombudh, Bao N...
SIGCOMM
2009
ACM
16 years 14 days ago
SMS-based contextual web search
SMS-based web search is different from traditional web search in that the final response to a search query is limited to a very small number of bytes (typically 1-2 SMS messages...
Jay Chen, Brendan Linn, Lakshminarayanan Subramani...