10916 search results - page 33 / 2184 » On Constructive Connectives and Systems |
ASPDAC
2012
ACM
13 years 5 months ago
2012
ACM
Abstract— Integrating optical interconnects into the nextgeneration multi-/many-core architecture has been considered a viable solution to addressing the limitations in throughpu...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
DM
2010
14 years 10 months ago
2010
The chromatic capacity of a graph G; CAP (G) ; is the largest integer k such that there is a k-colouring of the edges of G such that when the vertices of G are coloured with the s...
MOC
1998
14 years 9 months ago
1998
The groundwork for a theory of quadratic identities involving the classical triple and quintuple products is layed. The approach is through the study and use of affine maps that ac...
TIT
2011
14 years 4 months ago
2011
—In this paper we establish the connection between the Orthogonal Optical Codes (OOC) and binary compressed sensing matrices. We also introduce deterministic bipolar m × n RIP f...