7766 search results - page 1033 / 1554 » Testing Nondeterminate Systems |
156
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Mobile agents require access to computing resources on heterogeneous systems across the Internet. This demo illustrates how agents can negotiate terms and conditions of resource a...
192
click to vote
CIVR
2007
Springer
16 years 1 months ago
2007
Springer
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
175
Voted
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
201
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we report on a study in which genetic algorithms are applied to the analysis of noisy time-series signals, which is related to the problem of analyzing the motion ch...
153
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Assistance and service systems are one of the main research topics in robotics today. A major problem for creating these systems is that they have to work and navigate in the real ...