1422 search results - page 61 / 285 » Complementation in Abstract Interpretation |
126
click to vote
EWC
2000
15 years 4 months ago
2000
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
102
click to vote
IWPC
2010
IEEE
15 years 3 months ago
2010
IEEE
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...
129
click to vote
AMSTERDAM
2009
15 years 2 months ago
2009
Standard semantic accounts of the equative ascribe it an `at least' meaning, deriving an `exactly' reading when necessary via scalar implicature. I argue for a particular...
152
click to vote
FCS
2009
15 years 2 months ago
2009
- A representation for a set is defined to be symmetric if the space required for the representation of the set is the same as the space required for representation of the set'...
139
click to vote
COMMA
2006
15 years 6 months ago
2006
In the context of Dung's theory of abstract argumentation frameworks, the comparison between different semantics is often carried out by resorting to some specific examples co...