3719 search results - page 46 / 744 » RACER System Description |
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
105
click to vote
MM
2006
ACM
15 years 5 months ago
2006
ACM
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
Scenarios that describe concrete behaviors of system play an important role in system development and in particular requirements engineering. Scenarios are informal, and are diffic...
ECMAST
1999
Springer
15 years 4 months ago
1999
Springer
One of the goals of the ACTS project MODEST is to build an automatic video-surveillance system from a sequence of digital images. The overall system can be divided into the followi...
AI
2007
Springer
14 years 12 months ago
2007
Springer
Behavioral research suggests that human learning in some multi-agent systems can be predicted with surprisingly simple “foresight-free” models. The current note discusses the ...