2502 search results - page 145 / 501 » Using probabilistic model checking in systems biology |
KDD
2010
ACM
14 years 1 months ago
2010
ACM
In this paper, we propose a new probabilistic generative model, called Topic-Perspective Model, for simulating the generation process of social annotations. Different from other g...
AADEBUG
2005
Springer
14 years 2 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— The localization capability is central to basic navigation tasks and motivates development of various visual navigation systems. In this paper we describe a two stage a...
PR
2008
13 years 9 months ago
2008
Given the pervasive nature of malicious mobile code (viruses, worms, etc.), developing statistical/structural models of code execution is of considerable importance. We investigat...
CIVR
2008
Springer
13 years 11 months ago
2008
Springer
Recent content-based video retrieval systems combine output of concept detectors (also known as high-level features) with text obtained through automatic speech recognition. This ...