4488 search results - page 646 / 898 » Properties of NP-Complete Sets |
147
click to vote
IWPC
2007
IEEE
16 years 10 days ago
2007
IEEE
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
173
click to vote
LICS
2007
IEEE
16 years 10 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
170
click to vote
MEMOCODE
2007
IEEE
16 years 10 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
151
click to vote
SEFM
2007
IEEE
16 years 9 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
136
click to vote
AGILE
2007
Springer
16 years 7 days ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...