3898 search results - page 473 / 780 » On the Bit Extraction Problem |
208
click to vote
CVRMED
1997
Springer
15 years 9 months ago
1997
Springer
In this paper we address the problem of extracting geometric models from low contrast volumetric images, given a template or reference shape of that model. We proceed by deforming...
152
click to vote
CHI
1996
ACM
15 years 9 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...
133
click to vote
UIST
1993
ACM
15 years 9 months ago
1993
ACM
Maintaining knowledge of current position and orientation is frequently a problem for people in virtual environments. In this paper we present a toolset of techniques based on pri...
157
click to vote
ADC
2009
Springer
15 years 9 months ago
2009
Springer
Efficient XML filtering has been a fundamental technique in recent Web service and XML publish/subscribe applications. In this paper, we consider the problem of filtering a contin...
150
click to vote
SAT
2010
Springer
15 years 9 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...