Sciweavers

84 search results - page 15 / 17
» Kolmogorov complexity and set theoretical representations of...
Sort
View
141
Voted
KSEM
2010
Springer
14 years 10 months ago
A Concept Hierarchy Based Ontology Mapping Approach
Abstract. Ontology mapping is one of the most important tasks for ontology interoperability and its main aim is to find semantic relationships between entities (i.e. concept, attri...
Ying Wang, Weiru Liu, David A. Bell
99
Voted
CAD
2005
Springer
15 years 21 days ago
Computer-aided design of porous artifacts
Heterogeneous structures represent an important new frontier for 21st century engineering. Human tissues, composites, `smart' and multimaterial objects are all physically man...
Craig A. Schroeder, William C. Regli, Ali Shokoufa...
95
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 7 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
209
Voted
ICDE
2002
IEEE
164views Database» more  ICDE 2002»
16 years 2 months ago
Towards Meaningful High-Dimensional Nearest Neighbor Search by Human-Computer Interaction
Nearest Neighbor search is an important and widely used problem in a number of important application domains. In many of these domains, the dimensionality of the data representati...
Charu C. Aggarwal
88
Voted
DIS
2003
Springer
15 years 6 months ago
Abduction and the Dualization Problem
Computing abductive explanations is an important problem, which has been studied extensively in Artificial Intelligence (AI) and related disciplines. While computing some abductiv...
Thomas Eiter, Kazuhisa Makino