Sciweavers

642 search results - page 68 / 129
» corr 2006
Sort
View
CORR
2006
Springer
107views Education» more  CORR 2006»
15 years 17 days ago
On Sequence Prediction for Arbitrary Measures
Suppose we are given two probability measures on the set of one-way infinite finite-alphabet sequences and consider the question when one of the measures predicts the other, that ...
Daniil Ryabko, Marcus Hutter
CORR
2006
Springer
121views Education» more  CORR 2006»
15 years 17 days ago
Use of UML and Model Transformations for Workflow Process Definitions
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
Audris Kalnins, Valdis Vitolins
101
Voted
CORR
2006
Springer
106views Education» more  CORR 2006»
15 years 17 days ago
Reasoning with Intervals on Granules
: The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enough ...
Sylviane R. Schwer
CORR
2006
Springer
80views Education» more  CORR 2006»
15 years 17 days ago
A polynomial-time approximation algorithm for the number of k-matchings in bipartite graphs
We show that the number of k-matching in a given undirected graph G is equal to the number of perfect matching of the corresponding graph Gk on an even number of vertices divided ...
Shmuel Friedland, Daniel Levy
CORR
2006
Springer
97views Education» more  CORR 2006»
15 years 17 days ago
The one-way communication complexity of the Boolean Hidden Matching Problem
We give a tight lower bound of ( n) for the randomized one-way communication complexity of the Boolean Hidden Matching Problem [BJK04]. Since there is a quantum one-way communica...
Iordanis Kerenidis, Ran Raz