1003 search results - page 75 / 201 » Type Inference with Inequalities |
125
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
188
click to vote
WACV
2012
IEEE
13 years 11 months ago
2012
IEEE
Human movements are important cues for recognizing human actions, which can be captured by explicit modeling and tracking of actor or through space-time low-level features. Howeve...
140
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
169
click to vote
WEBI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—We present a method for modeling, and automatically inferring, the current interest of a user in search advertising. Our task is complementary to that of predicting ad r...
154
Voted
IJCAI
2001
15 years 5 months ago
2001
A new, general approach is described for approximate inference in first-order probabilistic languages, using Markov chain Monte Carlo (MCMC) techniques in the space of concrete po...