972 search results - page 28 / 195 » presence 2007 |
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper presents a method for the control of locomotion in a robot hexapod. The approach is based on the WalkNet structure, which in turn is based on the neural control stru...
CVPR
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents an automatic system for the monitoring of indoor environments using pan-tilt-zoomable cameras. A combination of Haar-feature classifier-based detection and co...
102
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We consider the problem of finding optimal strategies in infinite extensive form games with incomplete information that are repeatedly played. This problem is still open in lite...
80
Voted
ICIAP
2007
ACM
15 years 3 months ago
2007
ACM
We address the problem of recognizing the so-called image spam, which consists in embedding the spam message into attached images to defeat techniques based on the analysis of e-m...
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...