Sciweavers

4686 search results - page 169 / 938
» Time-lagged Directed Information
Sort
View
LREC
2010
143views Education» more  LREC 2010»
15 years 8 months ago
Evaluation of Document Citations in Phase 2 Gale Distillation
The focus of information retrieval evaluations, such as NIST's TREC evaluations (e.g. Voorhees 2003), is on evaluation of the information content of system responses. On the ...
Olga Babko-Malaya, Dan Hunter, Connie Fournelle, J...
TEI
2012
ACM
256views Hardware» more  TEI 2012»
14 years 2 months ago
Situated modeling: a shape-stamping interface with tangible primitives
Existing 3D sketching methods typically allow the user to draw in empty space which is imprecise and lacks tactile feedback. We introduce a shape-stamping interface where users ca...
Manfred Lau, Masaki Hirose, Akira Ohgawara, Jun Mi...
INFOCOM
2012
IEEE
13 years 9 months ago
Phantom: Physical layer cooperation for location privacy protection
—Localization techniques that allow inferring the location of wireless devices directly from received signals have exposed mobile users to new threats. Adversaries can easily col...
Sangho Oh, Tam Vu, Marco Gruteser, Suman Banerjee
PAMI
2012
13 years 9 months ago
Pedestrian Detection: An Evaluation of the State of the Art
—Pedestrian detection is a key problem in computer vision, with several applications that have the potential to positively impact quality of life. In recent years, the number of ...
Piotr Dollár, Christian Wojek, Bernt Schiel...
CAV
2012
Springer
231views Hardware» more  CAV 2012»
13 years 9 months ago
Incremental, Inductive CTL Model Checking
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi