4278 search results - page 598 / 856 » Data prefetch mechanisms |
336
click to vote
ICCV
1999
IEEE
16 years 9 months ago
1999
IEEE
In this paper we address the problem of estimating and analyzing the motion in image sequences that involve fluid phenomena. In this context standard motion estimation techniques ...
177
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
346
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
203
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Many scalable data mining tasks rely on active learning to provide the most useful accurately labeled instances. However, what if there are multiple labeling sources (`oracles...
205
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Protection of one's intellectual property is a topic with important technological and legal facets. The significance of this issue is amplified nowadays due to the ease of da...