12774 search results - page 2359 / 2555 » A Framework for Proof Systems |
177
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
-- The Distributed Agents For Autonomy (DAFA) study has been performed for ESA/ESTEC by SciSys UK Ltd, VEGA, and Politecnico di Milano in 2008-2009. The aim of DAFA study has been ...
140
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
In biopsies, drainages, vertebroplasty, and other needle-based procedures, insight on the 3D position of a needle is crucial for correct navigation by the clinician. In this paper...
179
click to vote
ICPADS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-Predicting sequential execution blocks of a large scale parallel application is an essential part of accurate prediction of the overall performance of the application. Whe...
159
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents automatic pronunciation transliteration method with acoustic and contextual analysis for Chinese-English mixed language keyword spotting (KWS) system. More ofte...
146
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
The Border Gateway Protocol (BGP) maintains inter-domain routing information by announcing and withdrawing IP prefixes, possibly resulting in temporary prefix unreachability. Prefi...