Sciweavers

1081 search results - page 86 / 217
» Type Inference of SELF
Sort
View
WACV
2012
IEEE
13 years 11 months ago
Simultaneous inference of activity, pose and object
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...
Furqan M. Khan, Vivek Kumar Singh, Ram Nevatia
142
Voted
ESORICS
2009
Springer
16 years 4 months ago
Reliable Evidence: Auditability by Typing
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...
Nataliya Guts, Cédric Fournet, Francesco Za...
WEBI
2009
Springer
15 years 10 months ago
In the Mood to Click? Towards Inferring Receptiveness to Search Advertising
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...
Qi Guo, Eugene Agichtein, Charles L. A. Clarke, Az...
IJCAI
2001
15 years 5 months ago
Approximate inference for first-order probabilistic languages
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...
Hanna Pasula, Stuart J. Russell
JFP
2006
90views more  JFP 2006»
15 years 4 months ago
Regular expression filters for XML
XML data are described by types involving regular expressions. This raises the question of what language feature is convenient for manipulating such data. Previously, we have give...
Haruo Hosaya