1222 search results - page 129 / 245 » A Bayesian Approach to Model Checking Biological Systems |
145
click to vote
KBSE
1997
IEEE
15 years 10 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...
161
click to vote
CIRA
2007
IEEE
16 years 21 days 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...
185
click to vote
FM
2009
Springer
15 years 4 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...
176
click to vote
ICCV
2003
IEEE
15 years 11 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...
164
click to vote
FORMATS
2003
Springer
15 years 11 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...