Sciweavers

7107 search results - page 234 / 1422
» Information Integration for the Masses
Sort
View
ASPDAC
2005
ACM
85views Hardware» more  ASPDAC 2005»
16 years 5 days ago
Integration of supercubing and learning in a SAT solver
Abstract— Learning is an essential pruning technique in modern SAT solvers, but it exploits a relatively small amount of information that can be deduced from the conflicts. Rece...
Domagoj Babic, Alan J. Hu
DAS
2004
Springer
15 years 12 months ago
An Integrated Approach for Automatic Semantic Structure Extraction in Document Images
In this paper we present an integrated approach for semantic structure extraction in document images. Document images are initially processed to extract both their layout and logic...
Margherita Berardi, Michele Lapi, Donato Malerba
167
Voted
ISN
1998
Springer
15 years 10 months ago
Integrating TINA into an Internet-Based Services Market
The deregulation of the telecommunication industry is providing the basis for a competitive, open market in telecommunications services. The TINA Consortium is developing a softwar...
David Lewis, Thanassis Tiropanis
DIWEB
2004
15 years 8 months ago
Ontology-based integration for Sharing Knowledge over the Web
In this paper, we propose a methodology developed in the framework of the VISPO project for engineering a three-layer ontology, based on the conceptualization, integration, synthes...
Devis Bianchini, Valeria De Antonellis
IJCAI
2003
15 years 8 months ago
Integrity and Change in Modular Ontologies
The benefits of modular representations arc well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to loc...
Heiner Stuckenschmidt, Michel C. A. Klein