9110 search results - page 1677 / 1822 » Formally-Based Design Evaluation |
145
Voted
MICAI
2009
Springer
15 years 10 months ago
2009
Springer
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...
127
Voted
NOSSDAV
2009
Springer
15 years 10 months ago
2009
Springer
In Swarm-based Peer-to-Peer Streaming (SPS) mechanisms, participating peers form a randomly connected mesh over which they incorporate swarm-like content delivery. In practice, a ...
153
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
112
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
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...
138
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
The field of biomedicine has embraced the Semantic Web probably more than any other field. As a result, there is a large number of biomedical ontologies covering overlapping area...