2502 search results - page 197 / 501 » Using probabilistic model checking in systems biology |
174
click to vote
EDBT
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. HySpirit is a retrieval engine for hypermedia retrieval integrating concepts from information retrieval (IR) and deductive databases. The logical view on IR models retrie...
188
click to vote
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...
179
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
The ways in which an agent’s actions affect the world can often be modeled compactly using a set of relational probabilistic planning rules. This paper addresses the problem of ...
185
click to vote
ICIP
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents a novel technique for 2D human motion estimation using a single non calibrated camera. The user’s five crucial human features (head, hands and feet) are ext...
172
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...