Sciweavers

14 search results - page 2 / 3
» jcss 2000
Sort
View
JCSS
2000
86views more  JCSS 2000»
13 years 5 months ago
Improved Algorithms via Approximations of Probability Distributions
Suresh Chari, Pankaj Rohatgi, Aravind Srinivasan
JCSS
2000
74views more  JCSS 2000»
13 years 5 months ago
Deciding Bisimilarity and Similarity for Probabilistic Processes
Christel Baier, Bettina Engelen, Mila E. Majster-C...
JCSS
2000
57views more  JCSS 2000»
13 years 5 months ago
Min-Wise Independent Permutations
Andrei Z. Broder, Moses Charikar, Alan M. Frieze, ...
JCSS
2000
76views more  JCSS 2000»
13 years 5 months ago
Inequalities for Shannon Entropy and Kolmogorov Complexity
Daniel Hammer, Andrei E. Romashchenko, Alexander S...
JCSS
2000
98views more  JCSS 2000»
13 years 5 months ago
Rooted Branching Bisimulation as a Congruence
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
Wan Fokkink