117 search results - page 14 / 24 » Interactive physically-based manipulation of discrete contin... |
102
click to vote
ROBOCUP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
ACII
2007
Springer
15 years 3 months ago
2007
Springer
The recognition of affective human communication may be used to provide developers with a rich source of information for creating systems that are capable of interacting well with ...
104
click to vote
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...