1222 search results - page 73 / 245 » A Bayesian Approach to Model Checking Biological Systems |
119
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
151
click to vote
IDA
2010
Springer
15 years 8 months ago
2010
Springer
This paper delivers an example of applying intelligent data analysis to biological data where the success of the project was only possible due to joint efforts of the experts from ...
160
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes a statistically motivated framework for performing real-time dialogue state updates and policy learning in a spoken dialogue system. The framework is based on...
135
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
115
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...