Sciweavers

191 search results - page 15 / 39
» Mappings Between Domain Models in Answer Set Programming
Sort
View
VLDB
2005
ACM
103views Database» more  VLDB 2005»
15 years 3 months ago
Mapping Maintenance for Data Integration Systems
To answer user queries, a data integration system employs a set of semantic mappings between the mediated schema and the schemas of data sources. In dynamic environments sources o...
Robert McCann, Bedoor K. AlShebli, Quoc Le, Hoa Ng...
IWPC
2007
IEEE
15 years 4 months ago
A Hybrid Program Model for Object-Oriented Reverse Engineering
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
Michael W. Godfrey
81
Voted
CP
2007
Springer
15 years 3 months ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish
FPGA
1997
ACM
127views FPGA» more  FPGA 1997»
15 years 1 months ago
General Modeling and Technology-Mapping Technique for LUT-Based FPGAs
We present a general approach to the FPGA technology mapping problem that applies to any logic block composed of lookup tables LUTs and can yield optimal solutions. The connecti...
Amit Chowdhary, John P. Hayes
IEEESCC
2007
IEEE
15 years 4 months ago
Exchanging Policies between Web Service Entities using Rule Languages
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd W...