1355 search results - page 118 / 271 » Alternating Timed Automata over Bounded Time |
FC
2010
Springer
14 years 1 months ago
2010
Springer
A number of security systems, from Chip-and-PIN payment cards to contactless subway and train tokens, as well as secure localization systems, are vulnerable to relay attacks. Encry...
IJCAI
2007
13 years 10 months ago
2007
We propose a supervised maximum entropy ranking approach to pronoun resolution as an alternative to commonly used classification-based approaches. Classification approaches cons...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
We present PygmyBrowse, a browser that allows users to navigate a tree data structure in a limited amount of display space. A pilot evaluation of PygmyBrowse was conducted, and re...
ACL
2001
13 years 10 months ago
2001
We present a machine learning approach to evaluating the wellformedness of output of a machine translation system, using classifiers that learn to distinguish human reference tran...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Interpreting an image as a function on a compact subset of the Euclidean plane, we get its scale-space by diffusion, spreading the image over the entire plane. This generates a 1-...