7064 search results - page 1140 / 1413 » From States to Histories |
191
click to vote
ISCI
2008
15 years 6 months ago
2008
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
177
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...
184
click to vote
IJCV
2006
15 years 6 months ago
2006
In this paper, we introduce the notion of a programmable imaging system. Such an imaging system provides a human user or a vision system significant control over the radiometric an...
160
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
169
Voted
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...