3342 search results - page 230 / 669 » Automating Abstract Interpretation |
119
click to vote
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
Dermoscopy is one of the major imaging modalities used in the diagnosis of melanoma and other pigmented skin lesions. Due to the difficulty and subjectivity of human interpretatio...
106
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...
135
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
139
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
112
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...