Sciweavers

10819 search results - page 375 / 2164
» Addition and multiplication of sets
Sort
View
LICS
2008
IEEE
16 years 1 months ago
Cut Elimination for Monomial MALL Proof Nets
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
Olivier Laurent, Roberto Maieli
SIGKDD
2010
100views more  SIGKDD 2010»
15 years 1 months ago
On exploiting hierarchical label structure with pairwise classifiers
The goal of this work was to test whether the performance of a regular pairwise classifier can be improved when additional information about the hierarchical class structure is ad...
Johannes Fürnkranz, Jan Frederik Sima
BMCBI
2006
156views more  BMCBI 2006»
15 years 6 months ago
Bayesian models for pooling microarray studies with multiple sources of replications
Background: Biologists often conduct multiple but different cDNA microarray studies that all target the same biological system or pathway. Within each study, replicate slides with...
Erin M. Conlon, Joon J. Song, Jun S. Liu
PDPTA
2003
15 years 8 months ago
Quaternary Arithmetic Logic Unit on a Programmable Logic Device
Common binary arithmetic operations such as addition/subtraction and multiplication suffer from O(n) carry propagation delay where n is the number of digits. Carry lookahead helps...
Songpol Ongwattanakul, Phaisit Chewputtanagul, Dav...
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 6 months ago
On the long time behavior of the TCP window size process
The TCP window size process appears in the modeling of the famous Transmission Control Protocol used for data transmission over the Internet. This continuous time Markov process t...
Djalil Chafaï, Florent Malrieu, Katy Paroux