Sciweavers

3932 search results - page 280 / 787
» Adaptive Index Structures
Sort
View
ESWS
2010
Springer
15 years 11 months ago
Leveraging Terminological Structure for Object Reconciliation
Abstract. It has been argued that linked open data is the major benefit of semantic technologies for the web as it provides a huge amount of structured data that can be accessed i...
Jan Noessner, Mathias Niepert, Christian Meilicke,...
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 11 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
MICCAI
2000
Springer
15 years 10 months ago
Robust 3D Segmentation of Anatomical Structures with Level Sets
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
C. Baillard, Christian Barillot
IADIS
2004
15 years 8 months ago
Pattern definition to refine navigation structure in hypermedia/Web applications
When building Hypermedia/Web Applications, (different) designers are often faced with the same problems over and over again. Those recurring problems soon yield elegant solutions,...
Sven Casteleyn, Irene Garrigós, Peter Pless...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 3 months ago
Comparing Prediction Market Structures, With an Application to Market Making
Ensuring sufficient liquidity is one of the key challenges for designers of prediction markets. Various market making algorithms have been proposed in the literature and deployed ...
Aseem Brahma, Sanmay Das, Malik Magdon-Ismail