1940 search results - page 9 / 388 » Eurostore - Initial Design and First Results |
222
click to vote
ICDE
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper introduces the hash-merge join algorithm (HMJ, for short); a new non-blocking join algorithm that deals with data items from remote sources via unpredictable, slow, or ...
106
Voted
MM
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we propose a Web image search result organizing method to facilitate user browsing. We formalize this problem as a salient image region pattern extraction problem. ...
132
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
Recent advances in diffusion weighted MR imaging (dMRI) has made it a tool of choice for investigating white matter abnormalities of the brain and central nervous system. In this w...
138
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
119
Voted
ICMI
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we present DaFEx (Database of Facial Expressions), a database created with the purpose of providing a benchmark for the evaluation of the facial expressivity of Embo...