2573 search results - page 111 / 515 » Combinations of Modal Logics |
129
click to vote
CF
2008
ACM
15 years 6 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
140
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
118
click to vote
ITC
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in t...
120
click to vote
ACL
2008
15 years 5 months ago
2008
The standard set of rules defined in Combinatory Categorial Grammar (CCG) fails to provide satisfactory analyses for a number of syntactic structures found in natural languages. T...
124
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
We discuss a non-intrusive methodology for concurrent fault detection in random combinational logic. The proposed method is similar to duplication, wherein a replica of the circui...