Sciweavers

6040 search results - page 462 / 1208
» Generating Instance Models from Meta Models
Sort
View
216
Voted
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 7 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
183
Voted
ICCV
2001
IEEE
16 years 8 months ago
A Background Model Initialization Algorithm for Video Surveillance
Many motion detection and tracking algorithms rely on the process of background subtraction, a technique which detects changes from a model of the background scene. We present a n...
Daniel Gutchess, Miroslav Trajkovic, Eric Cohen-So...
210
Voted
ICIP
2004
IEEE
16 years 8 months ago
Unsupervised motion detection using a markovian temporal model with global spatial constraints
In this work, we propose an unsupervised Bayesian model for the detection of moving objects from dynamic scenes. This unsupervised solution is a three-step approach that uses a st...
Pierre-Marc Jodoin, Max Mignotte
233
Voted
ISCI
2008
181views more  ISCI 2008»
15 years 6 months ago
Attribute reduction in decision-theoretic rough set models
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...
Yiyu Yao, Yan Zhao
ICML
2009
IEEE
16 years 7 months ago
Unsupervised hierarchical modeling of locomotion styles
This paper describes an unsupervised learning technique for modeling human locomotion styles, such as distinct related activities (e.g. running and striding) or variations of the ...
Wei Pan, Lorenzo Torresani