Sciweavers

8917 search results - page 1456 / 1784
» Abstraction in Algorithm Animation
Sort
View
LFCS
2007
Springer
15 years 11 months ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
LPNMR
2007
Springer
15 years 11 months ago
Head-Elementary-Set-Free Logic Programs
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
Martin Gebser, Joohyung Lee, Yuliya Lierler
MICCAI
2007
Springer
15 years 11 months ago
Fast and Robust Analysis of Dynamic Contrast Enhanced MRI Datasets
Abstract. A fully automated method for quantitative analysis of dynamic contrast-enhanced MRI data acquired with low and high field scanners, using spin echo and gradient echo seq...
Olga Kubassova, Mikael Boesen, Roger D. Boyle, Mar...
MIRAGE
2007
Springer
15 years 11 months ago
3D Reconstruction of Human Faces from Occluding Contours
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...
Michael Keller, Reinhard Knothe, Thomas Vetter
MLDM
2007
Springer
15 years 11 months ago
Selection of Experts for the Design of Multiple Biometric Systems
Abstract. In the biometric field, different experts are combined to improve the system reliability, as in many application the performance attained by individual experts (i.e., d...
Roberto Tronci, Giorgio Giacinto, Fabio Roli
« Prev « First page 1456 / 1784 Last » Next »