3820 search results - page 300 / 764 » Bounded Model Debugging |
154
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper presents a method of learning and recognizing generic object categories using part-based spatial models. The models are multiscale, with a scene component that specifie...
136
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
Accurate and robust tracking of humans is of growing interest in the image processing and computer vision communities. The ability of a vision system to track the subjects and acc...
149
click to vote
RECOMB
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. We present an approach to inferring probabilistic models of generegulatory networks that is intended to provide a more mechanistic representation of transcriptional regul...
140
Voted
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
121
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...