2062 search results - page 161 / 413 » Derivatives of Logical Formulas |
159
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
123
click to vote
PODS
1999
ACM
15 years 8 months ago
1999
ACM
We give a polymorphic account of the relational algebra. We introduce a formalism of \type formulas" speci cally tuned for relational algebra expressions, and present an algo...
144
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
122
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, de...
122
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life i...