1737 search results - page 106 / 348 » On Interpolation in Existence Logics |
147
click to vote
ATVA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
154
click to vote
LICS
2006
IEEE
16 years 9 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
196
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
Handwritten mathematical notation contains ambiguities of various kinds. Here we focus on ambiguity in spatial relationships; in particular, we use fuzzy logic to treat ambiguity ...
146
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
153
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...