2502 search results - page 473 / 501 » Using probabilistic model checking in systems biology |
115
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
128
click to vote
PKDD
2004
Springer
15 years 5 months ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...
107
click to vote
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We pose the problem of 3D human tracking as one of inference in a graphical model. Unlike traditional kinematic tree representations, our model of the body is a collection of loos...
120
click to vote
TPDS
2010
14 years 10 months ago
2010
—One of the major applications of wireless ad hoc networks is to extend the Internet coverage and support pervasive and efficient data dissemination and sharing. To reduce data a...
109
click to vote
EPIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...