4117 search results - page 536 / 824 » On the Satisfiability of Complex Constraints |
205
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
178
click to vote
CAE
2007
15 years 9 months ago
2007
The visualization of color images in gray scale has high practical and theoretical importance. Neither the existing local, gradient based methods, nor the fast global techniques g...
174
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...
190
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we focus on XML data integration by studying rewritings of XML target schemas in terms of source schemas. Rewriting is very important in data integration systems wh...
199
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...