2421 search results - page 378 / 485 » Integrity Assurance Technique Using Determinant Approach |
138
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
145
click to vote
IEEEVAST
2010
14 years 11 months ago
2010
Modern machine learning techniques provide robust approaches for data-driven modeling and critical information extraction, while human experts hold the advantage of possessing hig...
118
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Both direct and indirect interactions determine molecular recognition of ligands by proteins. Indirect interactions can be defined as effects on recognition controlled...
168
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...
149
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Process variations in modern VLSI technologies are growing in both magnitude and dimensionality. To assess performance variability, complex simulation and performance models param...