Sciweavers

9572 search results - page 177 / 1915
» Cover Algorithms and Their Combination
Sort
View
CVPR
2004
IEEE
16 years 8 months ago
Recovering Human Body Configurations: Combining Segmentation and Recognition
The goal of this work is to take an image such as the one in Figure 1(a), detect a human figure, and localize his joints and limbs (b) along with their associated pixel masks (c)....
Greg Mori, Xiaofeng Ren, Alexei A. Efros, Jitendra...
ICML
2004
IEEE
16 years 7 months ago
Adaptive cognitive orthotics: combining reinforcement learning and constraint-based temporal reasoning
Reminder systems support people with impaired prospective memory and/or executive function, by providing them with reminders of their functional daily activities. We integrate tem...
Matthew R. Rudary, Satinder P. Singh, Martha E. Po...
CADE
2009
Springer
16 years 7 months ago
Ground Interpolation for Combined Theories
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
Amit Goel, Sava Krstic, Cesare Tinelli
ICRA
2007
IEEE
148views Robotics» more  ICRA 2007»
16 years 22 days ago
Dynamic Obstacle Avoidance in uncertain environment combining PVOs and Occupancy Grid
— Most of present work for autonomous navigation in dynamic environment doesn’t take into account the dynamics of the obstacles or the limits of the perception system. To face ...
Chiara Fulgenzi, Anne Spalanzani, Christian Laugie...
ADBIS
2007
Springer
119views Database» more  ADBIS 2007»
16 years 18 days ago
Combining Efficient XML Compression with Query Processing
This paper describes a new XML compression scheme that offers both high compression ratios and short query response time. Its core is a fully reversible transform featuring substit...
Przemyslaw Skibinski, Jakub Swacha