1415 search results - page 200 / 283 » Verified systems by composition from verified components |
PLDI
1997
ACM
14 years 20 hour ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
KDD
2002
ACM
14 years 8 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...
CVPR
2005
IEEE
14 years 9 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...
WACV
2005
IEEE
14 years 1 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...
CORR
2007
Springer
13 years 7 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...