7988 search results - page 251 / 1598 » A Useful Undecidable Theory |
113
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
104
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
100
click to vote
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...
104
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
While genetically inspired approaches to multi-objective optimization have many advantages over conventional approaches, they do not explicitly exploit directional/gradient informa...