1972 search results - page 191 / 395 » Testing Mobile and Distributed Systems: Method and Experimen... |
141
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
129
Voted
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, we consider the problem of exploring an unknown environment with a team of mobile robots. One of the key issues in multi-robot exploration is how to assign targe...
144
click to vote
WSC
2007
15 years 7 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
172
Voted
CIVR
2010
Springer
15 years 10 months ago
2010
Springer
Interpreting the relevance of a user-contributed tag with respect to the visual content of an image is an emerging problem in social image retrieval. In the literature this proble...
154
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Whenever a pervasive game has to be developed for a group of children an appropriate multi-user setting has to be found. If the pervasive game does not support the children with a...