963 search results - page 68 / 193 » A Solution for Data Inconsistency in Data Integration |
JAPLL
2008
13 years 9 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
SAMOS
2005
Springer
14 years 2 months ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
BTW
2003
Springer
14 years 2 months ago
2003
Springer
Microarrays make it possible to monitor the expression of thousands of genes in parallel thus generating huge amounts of data. So far, several databases have been developed for man...
WISE
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we further develop a proposed layered approach for the Semantic Web. Our objective is to build a specific solution to the problem of providing data interoperability...
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...