10715 search results - page 1782 / 2143 » From Tests to Proofs |
218
click to vote
IS
2008
15 years 6 months ago
2008
Implementations that load XML documents and give access to them via, e.g., the DOM, suffer from huge memory demands: the space needed to load an XML document is usually many times...
183
click to vote
IJCV
2006
15 years 6 months ago
2006
We propose a new algorithm for dense optical flow computation. Dense optical flow schemes are challenged by the presence of motion discontinuities. In state of the art optical flo...
175
click to vote
IVC
2008
15 years 6 months ago
2008
In this paper we present a new physically motivated curve/region descriptor based on the solution of Helmholtz's equation. The descriptor we propose satisfies the six princip...
184
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...
157
click to vote
IJMMS
2006
15 years 6 months ago
2006
Along with increasing investments in new technologies, user technology acceptance becomes a frequently studied topic in the information systems discipline. The last two decades ha...