Sciweavers

11063 search results - page 195 / 2213
» On the existence of universal models
Sort
View
UAI
2008
15 years 8 months ago
Church: a language for generative models
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
Noah Goodman, Vikash K. Mansinghka, Daniel M. Roy,...
IJCAI
1989
15 years 7 months ago
Perturbation Analysis with Qualitative Models
Perturbation analysis deals with the relation­ ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
Renato de Mori, Robert Prager
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 6 months ago
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
Omar I. Al-Bataineh, Ron van der Meyden
CVPR
2009
IEEE
1863views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Abnormal Crowd Behavior Detection using Social Force Model
In this paper we introduce a novel method to detect and localize abnormal behaviors in crowd videos using Social Force model. For this purpose, a grid of particles is placed ove...
Alexis Oyama, Mubarak Shah, Ramin Mehran
ICPR
2004
IEEE
16 years 7 months ago
Non-linear Reflectance Model for Bidirectional Texture Function Synthesis
A rough texture modelling involves a huge image data-set - the Bidirectional Texture Function (BTF). This 6-dimensional function depends on planar texture coordinates as well as o...
Jirí Filip, Michal Haindl