1008 search results - page 83 / 202 » Canonicity! |
129
Voted
AGP
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove...
136
Voted
CAV
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
125
click to vote
ICIAP
1999
ACM
15 years 7 months ago
1999
ACM
This paper presents a general strategy for designing efficient visual operators. The approach is highly task oriented and what constitutes the relevant information is defined by...
136
click to vote
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
116
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...