12193 search results - page 336 / 2439 » It's not all about |
153
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
182
click to vote
P2P
2006
IEEE
16 years 22 days ago
2006
IEEE
Peers in peer-to-peer file-sharing systems use conjunctive queries as a way of controlling query cost in the absence of information about the behavior of other peers. Conjunctive ...
161
Voted
WOWMOM
2006
ACM
16 years 20 days ago
2006
ACM
— Remote attestation in trusted computing is about the ability of a local platform to authenticate the hardware and the software stack running on a remote trusted platform. We sa...
160
click to vote
CVPR
2005
IEEE
16 years 11 days ago
2005
IEEE
This work presents a real-time system for multiple objects tracking in dynamic scenes. A unique characteristic of the system is its ability to cope with longduration and complete ...
162
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— This paper presents a technique for the Simultaneous Calibration of Action and Sensor Models (SCASM) on a mobile robot. While previous approaches to calibration make us...