2702 search results - page 372 / 541 » Practically Applicable Formal Methods |
120
Voted
SODA
2003
ACM
15 years 3 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
127
click to vote
DMDW
2000
15 years 3 months ago
2000
A data warehouse is designed to consolidate and maintain all attributes that are relevant for the analysis processes. Due to the rapid increase in the size of the modern operation...
105
click to vote
BILDMED
2009
15 years 3 months ago
2009
Abstract. In this paper, we propose a novel method to generate panoramic X-ray images intra-operatively by using the previously introduced camera augmented mobile C-arm by Navab et...
100
click to vote
DATAMINE
2006
15 years 2 months ago
2006
Data visualization plays a crucial role in identifying interesting patterns in exploratory data analysis. Its use is, however, made difficult by the large number of possible data p...
126
click to vote
IJCV
2008
15 years 2 months ago
2008
We present a real-time method for detecting deformable surfaces, with no need whatsoever for a priori pose knowledge. Our method starts from a set of wide baseline point matches be...