Sciweavers

5352 search results - page 360 / 1071
» Modeling the socio-cultural context
Sort
View
ASE
2011
15 years 1 months ago
Compositional model checking of software product lines using variation point obligations
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
Jing Liu, Samik Basu, Robyn R. Lutz

Publication
485views
14 years 7 months ago
Incremental Activity Modelling in Multiple Disjoint Cameras
Activity modelling and unusual event detection in a network of cameras is challenging particularly when the camera views are not overlapped. We show that it is possible to detect u...
Chen Change Loy, Tao Xiang, Shaogang Gong
CVPR
2008
IEEE
16 years 9 months ago
Discriminative modeling by Boosting on Multilevel Aggregates
This paper presents a new approach to discriminative modeling for classi cation and labeling. Our method, called Boosting on Multilevel Aggregates (BMA), adds a new class of hiera...
Jason J. Corso
CVPR
2010
IEEE
16 years 3 months ago
Dynamical Binary Latent Variable Models for 3D Human Pose Tracking
We introduce a new class of probabilistic latent variable model called the Implicit Mixture of Conditional Restricted Boltzmann Machines (imCRBM) for use in human pose tracking. K...
Graham Taylor, Leonid Sigal, David Fleet, Geoffrey...
AINA
2009
IEEE
16 years 1 months ago
Modeling Multiprocessor Cache Protocol Impact on MPI Performance
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu