Sciweavers

7289 search results - page 1120 / 1458
» A Dependent Set Theory
Sort
View
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 1 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
207
Voted
SCIA
2007
Springer
122views Image Analysis» more  SCIA 2007»
16 years 1 months ago
Individual Discriminative Face Recognition Models Based on Subsets of Features
Abstract. The accuracy of data classification methods depends considerably on the data representation and on the selected features. In this work, the elastic net model selection i...
Line Harder Clemmensen, David Delgado Gomez, Bjarn...
SEMWEB
2007
Springer
16 years 1 months ago
An Empirical Study of Instance-Based Ontology Matching
Instance-based ontology mapping is a promising family of solutions to a class of ontology alignment problems. It crucially depends on measuring the similarity between sets of annot...
Antoine Isaac, Lourens van der Meij, Stefan Schlob...
213
Voted
WDAG
2007
Springer
125views Algorithms» more  WDAG 2007»
16 years 1 months ago
Approximating Wardrop Equilibria with Finitely Many Agents
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...
Simon Fischer, Lars Olbrich, Berthold Vöcking
221
Voted
3DPVT
2006
IEEE
212views Visualization» more  3DPVT 2006»
16 years 1 months ago
High-Performance Multi-View Reconstruction
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...
Christopher Zach, Mario Sormann, Konrad F. Karner
« Prev « First page 1120 / 1458 Last » Next »