Sciweavers

6155 search results - page 394 / 1231
» A language for multiple models of computation
Sort
View
ECCV
2010
Springer
15 years 11 months ago
The Semi-Explicit Shape Model for Multi-object Detection and Classification
We propose a model for classification and detection of object classes where the number of classes may be large and where multiple instances of object classes may be present in an i...
CVPR
2003
IEEE
16 years 8 months ago
Switching Observation Models for Contour Tracking in Clutter
In Proc. of IEEE Conf. on CVPR'03, Madison, Wisconsin, 2003 We propose a generative model approach to contour tracking against non-stationary clutter and to coping with occlu...
Ying Wu, Gang Hua, Ting Yu
SPIN
2001
Springer
15 years 11 months ago
Model Checking Systems of Replicated Processes with Spin
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
Fabrice Derepas, Paul Gastin
TCSB
2010
15 years 5 months ago
Modelling Self-assembly in BlenX
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
Roberto Larcher, Corrado Priami, Alessandro Romane...
JMLR
2010
169views more  JMLR 2010»
15 years 1 months ago
Focused Belief Propagation for Query-Specific Inference
With the increasing popularity of largescale probabilistic graphical models, even "lightweight" approximate inference methods are becoming infeasible. Fortunately, often...
Anton Chechetka, Carlos Guestrin