797 search results - page 25 / 160 » Observing Success in the Pi-Calculus |
100
click to vote
CVPR
2001
IEEE
15 years 11 months ago
2001
IEEE
A methodology for the segmentation of successive frames of a video sequence is presented. Traditional methods, treating each frame in isolation, are computationally expensive, ign...
89
Voted
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— Object recognition is a challenging problem for artificial systems. This is especially true for objects that are placed in cluttered and uncontrolled environments. To challenge...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
We exploit for defensive purposes the concept of darkports – the unused ports on active systems. We are particularly interested in such ports which transition to become active (...
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper focuses on mining human strategies by observing their actions. Our application domain is an HCI study aimed at discovering general strategies used by software users and...
ROBOCUP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Recent successful SLAM methods employ hybrid map representations combining the strengths of topological maps and occupancy grids. Such representations often facilitate mu...