1222 search results - page 129 / 245 » A Bayesian Approach to Model Checking Biological Systems |
118
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
129
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Learning motion models of a moving object is a challenge for autonomous robots. We address the particular instance of parameter learning when tracking object motions in a switc...
142
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
146
click to vote
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
Concept learning in content-based image retrieval (CBIR) systems is a challenging task. This paper presents an active concept learning approach based on mixture model to deal with...
134
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...