2502 search results - page 473 / 501 » Using probabilistic model checking in systems biology |
155
Voted
DAGSTUHL
2007
15 years 5 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...
171
Voted
PKDD
2004
Springer
15 years 9 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...
149
Voted
CVPR
2004
IEEE
16 years 5 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...
154
Voted
TPDS
2010
15 years 2 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...
149
Voted
EPIA
2003
Springer
15 years 9 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...