2502 search results - page 170 / 501 » Using probabilistic model checking in systems biology |
175
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper describes a real-time computer vision system for tracking people in monocular video sequences. The system tracks people as they move through the camera's field of ...
143
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
204
click to vote
HIM
1997
Springer
15 years 10 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
192
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
157
click to vote
COMAD
2008
15 years 8 months ago
2008
Orion is a state-of-the-art uncertain database management system that extends the relational model to include probabilistic uncertain data as first call data types. This demonstra...