Sciweavers

129 search results - page 14 / 26
» Graphical Models: Statistical inference vs. determination
Sort
View
AAAI
2006
13 years 10 months ago
Fast Hierarchical Goal Schema Recognition
We present our work on using statistical, corpus-based machine learning techniques to simultaneously recognize an agent's current goal schemas at various levels of a hierarch...
Nate Blaylock, James F. Allen
POPL
2007
ACM
14 years 8 months ago
Program verification as probabilistic inference
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
Sumit Gulwani, Nebojsa Jojic
FTCGV
2011
122views more  FTCGV 2011»
13 years 4 hour ago
Structured Learning and Prediction in Computer Vision
Powerful statistical models that can be learned efficiently from large amounts of data are currently revolutionizing computer vision. These models possess a rich internal structur...
Sebastian Nowozin, Christoph H. Lampert
CVPR
2012
IEEE
11 years 11 months ago
Actionable saliency detection: Independent motion detection without independent motion estimation
We present a model and an algorithm to detect salient regions in video taken from a moving camera. In particular, we are interested in capturing small objects that move independen...
Georgios Georgiadis, Alper Ayvaci, Stefano Soatto
WSC
1997
13 years 9 months ago
AutoStat: Output Statistical Analysis for AutoMod Users
AutoStat™ is an extension package for AutoMod™ and AutoSched™ models that provides complete support for simulation model experimentation and statistical analysis of outputs....
John S. Carson II