2850 search results - page 358 / 570 » On Timed Models and Full Abstraction |
241
click to vote
CLEAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper describes Pittsburgh Pattern Recognition’s participation in the face detection and tracking tasks for the CLEAR 2007 evaluation. Since CLEAR 2006, we have ma...
186
click to vote
PREMI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents an architecture that enables the recognizer to learn incrementally and, thereby adapt to document image collections for performance improvement. We ar...
150
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— The Sensory Ego-Sphere (SES) is a short-term memory for a robot in the form of an egocentric, tessellated, spherical, sensory-motor map of the robot’s locale. This pa...
166
click to vote
ISSTA
2006
ACM
16 years 18 days ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
188
click to vote
PLDI
2004
ACM
16 years 2 days ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...