241 search results - page 37 / 49 » Towards Safe Model Transformation for Constraint-driven Mode... |
ICCAD
2009
IEEE
14 years 7 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
RML
2002
14 years 9 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
JCB
2008
14 years 9 months ago
2008
A centromere is a special region in the chromosome that plays a vital role during cell division. Every new chromosome created by a genome rearrangement event must have a centromer...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The ability of humans for color constancy, i.e. the ability to correct for color deviation caused by a different illumination, is far beyond computer vision performances: nowadays...
102
click to vote
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
This paper develops toolsets for eliminating algorithm-based disclosure from existing privacy-preserving data publishing algorithms. We first show that the space of algorithm-base...