7988 search results - page 1238 / 1598 » A Useful Undecidable Theory |
190
click to vote
WDAG
2004
Springer
16 years 5 days ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
154
click to vote
CVPR
2010
IEEE
16 years 5 days ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
179
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
140
Voted
ARITH
2003
IEEE
16 years 4 days ago
2003
IEEE
SRT division, as it was discovered in the late 1950s represented an important improvement in the speed of division algorithms for computers at the time. A variant of SRT division ...
148
click to vote
ENC
2003
IEEE
16 years 3 days ago
2003
IEEE
Several lossless data compression schemes have been proposed over the past years. Since Shannon developed information theory in his seminal paper, however, the problem of data com...