Sciweavers

2372 search results - page 66 / 475
» Probabilistic calling context
Sort
View
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 4 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...
96
Voted
ICDE
2010
IEEE
243views Database» more  ICDE 2010»
16 years 2 months ago
Probabilistic Contextual Skylines
The skyline query returns the most interesting tuples according to a set of explicitly defined preferences among attribute values. This work relaxes this requirement, and allows us...
Anastasios Arvanitis, Dimitris Sacharidis, Timos K...
131
Voted
CVPR
2010
IEEE
15 years 10 months ago
Probabilistic 3D Occupancy Flow with Latent Silhouette Cues
In this paper we investigate shape and motion retrieval in the context of multi-camera systems. We propose a new lowlevel analysis based on latent silhouette cues, particularly su...
Li Guan, Jean-Sebastien Franco, Edmond Boyer, Marc...
ICMI
2005
Springer
136views Biometrics» more  ICMI 2005»
15 years 8 months ago
Probabilistic grounding of situated speech using plan recognition and reference resolution
Situated, spontaneous speech may be ambiguous along acoustic, lexical, grammatical and semantic dimensions. To understand such a seemingly difficult signal, we propose to model th...
Peter Gorniak, Deb Roy
VRST
1997
ACM
15 years 6 months ago
View volume culling using a probabilistic caching scheme
This paper describes a new algorithm for view volume culling. During an interactive walkthrough of a 3D scene, at any moment a large proportion of objects will be outside of the v...
Mel Slater, Yiorgos Chrysanthou