37 search results - page 6 / 8 » Learning Resources Collections: Completeness and Compactness... |
FATES
2003
Springer
14 years 17 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
CONCUR
1998
Springer
13 years 11 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— The exploration problem is a central issue in mobile robotics. A complete coverage is not practical if the environment is large with a few small hotspots, and the sampling cost...
ATAL
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
LREC
2010
13 years 8 months ago
2010
This paper presents the Kachna Corpus of Spontaneous Speech, in which ten Czech and ten Norwegian speakers were recorded both in their native language and in English. The dialogue...