535 search results - page 72 / 107 » Checking Computations in Polylogarithmic Time |
ICTAC
2009
Springer
13 years 5 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
An automated method for left ventricle detection in MR cardiac images is presented. Ventricle detection is the rst step in a fully automated segmentation system used to compute vo...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— We present an efficient algorithm for complete motion planning that combines approximate cell decomposition (ACD) with probabilistic roadmaps (PRM). Our approach uses ...
ECCV
2010
Springer
14 years 21 days ago
2010
Springer
This paper presents an integrated framework for mobile street-level tracking of multiple persons. In contrast to classic tracking-by-detection approaches, our framework employs an ...
DFT
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents an approach for integrating fault-tolerance techniques into microprocessors by utilizing instruction redundancy as well as time redundancy. Smaller and smaller...