1054 search results - page 136 / 211 » From a Verified Kernel towards Verified Systems |
182
click to vote
SIGMETRICS
2002
ACM
15 years 5 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
187
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
During the Mars Exploration Rovers (MER) landings, the Descent Image Motion Estimation System (DIMES) was used for horizontal velocity estimation. The DIMES algorithm combines mea...
180
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
This paper presents an approach to automatically optimizing the retrieval quality of search engines using clickthrough data. Intuitively, a good information retrieval system shoul...
172
click to vote
WACV
2005
IEEE
15 years 11 months ago
2005
IEEE
As tracking systems become more effective at reliably tracking multiple objects over extended periods of time within single camera views and across overlapping camera views, incre...
181
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Background: Prostate brachytherapy consists in placing radioactive seeds for tumour destruction under transrectal ultrasound imaging (TRUS) control. It requires prostate delineati...