2123 search results - page 189 / 425 » Composition of Cyber-Physical Systems |
155
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
182
click to vote
AAAI
1994
15 years 8 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
148
click to vote
COLING
2002
15 years 6 months ago
2002
To support context-based multimodal interpretation in conversational systems, we have developed a semantics-based representation to capture salient information from user inputs an...
157
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
153
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...