650 search results - page 88 / 130 » On Coalgebras over Algebras |
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
With the standard approach for establishing multicast connections over a network, network nodes are utilized to forward and duplicate the packets received over the incoming links....
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
VLDB
1998
ACM
14 years 1 months ago
1998
ACM
Many decision support systems, which utilize association rules for discovering interesting patterns, require the discovery of association rules that vary over time. Such rules des...
ACS
2007
13 years 9 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
ICDE
2011
IEEE
13 years 17 days ago
2011
IEEE
āCube computation over massive datasets is critical for many important analyses done in the real world. Unlike commonly studied algebraic measures such as SUM that are amenable t...