3765 search results - page 281 / 753 » Formal Methods for Systems Engineering Behavior Models |
252
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
156
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In our barge-in-able spoken dialogue system, the user's behaviors such as barge-in timing and utterance expressions vary according to his/her characteristics and situations. ...
191
click to vote
ICPADS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
169
click to vote
IROS
2007
IEEE
16 years 29 days ago
2007
IEEE
— A method for segmentation and recognition of human body behavior data is proposed. Recognition of human body movements is getting larger interests in robotic research field, s...
202
click to vote
RTCSA
2006
IEEE
16 years 20 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...