Sciweavers

2096 search results - page 180 / 420
» Structured Parameter Elicitation
Sort
View
ICCV
2005
IEEE
15 years 10 months ago
Learning Non-Generative Grammatical Models for Document Analysis
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...
Michael Shilman, Percy Liang, Paul A. Viola
HPCN
1994
Springer
15 years 8 months ago
Three-Dimensional Simulation of Semiconductor Devices
The exact knowledge of the heat flow in heterojunction bipolar transistors (HBT) during power operation is an important key factor for the systematic improvement of power density,...
Wilfried Klix, Ralf Dittmann, Roland Stenzel
BIRTHDAY
2006
Springer
15 years 8 months ago
Verification by Parallelization of Parametric Code
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
Tobias Gedell, Reiner Hähnle
MICCAI
2000
Springer
15 years 8 months ago
Segmentation by Adaptive Geodesic Active Contours
This paper introduces the use of spatially adaptive components into the geodesic active contour segmentation method for application to volumetric medical images. These components a...
Carl-Fredrik Westin, Liana M. Lorigo, Olivier D. F...
ALT
2010
Springer
15 years 4 months ago
Recursive Teaching Dimension, Learning Complexity, and Maximum Classes
This paper is concerned with the combinatorial structure of concept classes that can be learned from a small number of examples. We show that the recently introduced notion of recu...
Thorsten Doliwa, Hans-Ulrich Simon, Sandra Zilles