1003 search results - page 109 / 201 » Type Inference with Inequalities |
178
click to vote
IWCM
2004
Springer
15 years 9 months ago
2004
Springer
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
161
click to vote
PKC
2010
Springer
15 years 8 months ago
2010
Springer
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
140
click to vote
NIPS
2008
15 years 5 months ago
2008
Uncertainty is omnipresent when we perceive or interact with our environment, and the Bayesian framework provides computational methods for dealing with it. Mathematical models fo...
129
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
128
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Grammar induction, also known as grammar inference, is one of the most important research areas in the domain of natural language processing. Availability of large corpora has enc...