Sciweavers

11328 search results - page 140 / 2266
» Timed Branching Processes
Sort
View
120
Voted
INFOCOM
2000
IEEE
15 years 7 months ago
REUNITE: A Recursive Unicast Approach to Multicast
—We propose a new multicast protocol called REUNITE. The key idea of REUNITE is to use recursive unicast trees to implement multicast service. REUNITE does not use class D IP add...
Ion Stoica, T. S. Eugene Ng, Hui Zhang
132
Voted
CIKM
1999
Springer
15 years 7 months ago
Mining Inter-Transaction Associations with Templates
Multi-dimensional, inter-transaction association rules extend the traditional association rules to describe more general associations among items with multiple properties cross tr...
Ling Feng, Hongjun Lu, Jeffrey Xu Yu, Jiawei Han
145
Voted
GCB
2000
Springer
137views Biometrics» more  GCB 2000»
15 years 7 months ago
Detecting Sporadic Recombination in DNA Alignments with Hidden Markov Models
Conventional phylogenetic tree estimation methods assume that all sites in a DNA multiple alignment have the same evolutionary history. This assumption is violated in data sets fro...
Dirk Husmeier, Frank Wright
109
Voted
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 26 days ago
Implicit Renewal Theory and Power Tails on Trees
: We extend Goldie's (1991) Implicit Renewal Theorem to enable the analysis of recursions on weighted branching trees. We illustrate the developed method by deriving the power...
Predrag R. Jelenkovic, Mariana Olvera-Cravioto
EUROSYS
2011
ACM
14 years 7 months ago
Symbolic crosschecking of floating-point and SIMD code
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
Peter Collingbourne, Cristian Cadar, Paul H. J. Ke...