Sciweavers

3918 search results - page 87 / 784
» Probabilistic model of triangulation
Sort
View
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 1 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
99
Voted
ACCV
2006
Springer
15 years 5 months ago
Probabilistic Modeling for Structural Change Inference
We view the task of change detection as a problem of object recognition from learning. The object is defined in a 3D space where the time is the 3rd dimension. We propose two com...
Wei Liu, Véronique Prinet
TMM
2010
181views Management» more  TMM 2010»
14 years 5 months ago
Mining Group Nonverbal Conversational Patterns Using Probabilistic Topic Models
Abstract--The automatic discovery of group conversational behavior is a relevant problem in social computing. In this paper, we present an approach to address this problem by defin...
Dinesh Babu Jayagopi, Daniel Gatica-Perez
ASPLOS
2010
ACM
15 years 4 months ago
Probabilistic job symbiosis modeling for SMT processor scheduling
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
Stijn Eyerman, Lieven Eeckhout
AAAI
1990
15 years 7 days ago
Constructor: A System for the Induction of Probabilistic Models
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...
Robert M. Fung, Stuart L. Crawford