2520 search results - page 394 / 504 » Model-checking behavioral programs |
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
This paper promotes social role awareness as a desirable capability of animated agents, that are by now strong affective reasoners, but otherwise often lack the social competence ...
JAVA
2001
Springer
14 years 2 months ago
2001
Springer
We present efficient support for generalized arrays of parallel data driven objects. Array elements are regular C++ objects, and are scattered across the parallel machine. An indi...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
The automatic construction of classi ers programs able to correctly classify data collected from the real world is one of the major problems in pattern recognition and in a wide ar...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper describes a United States Air Force Advanced Technology Demonstration (ATD) that applied value-based scheduling to produce an adaptive, distributed tracking component ap...