Sciweavers

2082 search results - page 341 / 417
» Change Paths in Reasoning!
Sort
View
ICCV
2011
IEEE
12 years 10 months ago
Superpixel Tracking
While numerous algorithms have been proposed for object tracking with demonstrated success, it remains a challenging problem for a tracker to handle large change in scale, motion,...
Shu Wang, Huchuan Lu, Fan Yang, Ming-Hsuan Yang
AAAI
2011
12 years 10 months ago
A Switching Planner for Combined Task and Observation Planning
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
Moritz Göbelbecker, Charles Gretton, Richard ...
DGO
2011
254views Education» more  DGO 2011»
12 years 9 months ago
Attitudes toward online availability of US public records
Many have enthusiastically greeted the ability to search and view public records online as a great advance for transparency and accountability. Such ability, however, also creates...
Sean A. Munson, Daniel Avrahami, Sunny Consolvo, J...
ESOP
2012
Springer
12 years 5 months ago
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
Stephen Chang, Matthias Felleisen
HICSS
2012
IEEE
296views Biometrics» more  HICSS 2012»
12 years 5 months ago
Topology Perturbation for Detecting Malicious Data Injection
Bad measurement data exists in power systems for a number of reasons. Malicious data injection attacks, which alter the values of measurements without being detected, are one pote...
K. L. Morrow, Erich Heine, Katherine M. Rogers, Ra...