Sciweavers

1222 search results - page 81 / 245
» A Bayesian Approach to Model Checking Biological Systems
Sort
View
PAMI
2008
161views more  PAMI 2008»
15 years 3 months ago
Multilayered 3D LiDAR Image Construction Using Spatial Models in a Bayesian Framework
Standard 3D imaging systems process only a single return at each pixel from an assumed single opaque surface. However, there are situations when the laser return consists of multip...
Sergio Hernandez-Marin, Andrew M. Wallace, Gavin J...
WSC
2007
15 years 6 months ago
Simulation and uncertainty modeling of project schedules estimates
Project management involves various sources of uncertainty that affect planning, execution schedules, and cost. At the same time, the influx of information can be employed to redu...
Ivan Ourdev, Simaan M. AbouRizk, Mohammed Al-Batai...
EMNLP
2008
15 years 5 months ago
Bayesian Unsupervised Topic Segmentation
This paper describes a novel Bayesian approach to unsupervised topic segmentation. Unsupervised systems for this task are driven by lexical cohesion: the tendency of wellformed se...
Jacob Eisenstein, Regina Barzilay
ICMCS
2005
IEEE
173views Multimedia» more  ICMCS 2005»
15 years 9 months ago
A Multi-Modal Mixed-State Dynamic Bayesian Network for Robust Meeting Event Recognition from Disturbed Data
In this work we present a novel multi-modal mixed-state dynamic Bayesian network (DBN) for robust meeting event classification. The model uses information from lapel microphones,...
Marc Al-Hames, Gerhard Rigoll
ESEC
1999
Springer
15 years 8 months ago
Checking Progress with Action Priority: Is it Fair?
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer