CORR

2006

Springer

13 years 7 months ago
2006

Springer

CORR

2006

Springer

13 years 7 months ago
2006

Springer

CORR

2006

Springer

13 years 7 months ago
2006

Springer

Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relev...

CORR

2006

Springer

13 years 7 months ago
2006

Springer

An infinite word has the property Rm if every factor has exactly m return words. Vuillon showed that R2 characterizes Sturmian words. We prove that a word satisfies Rm if its compl...

CORR

2006

Springer

13 years 7 months ago
2006

Springer

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...

CORR

2006

Springer

13 years 7 months ago
2006

Springer

We consider the problem of sequential decentralized detection, a problem that entails several interdependent choices: the choice of a stopping rule (specifying the sample size), a...

CORR

2006

Springer

13 years 7 months ago
2006

Springer

Given a sample from a probability measure with support on a submanifold in Euclidean space one can construct a neighborhood graph which can be seen as an approximation of the subm...

CORR

2006

Springer

13 years 7 months ago
2006

Springer

CORR

2006

Springer

13 years 7 months ago
2006

Springer

CORR

2006

Springer

13 years 7 months ago
2006

Springer

Given two rooted, ordered, and labeled trees P and T the tree inclusion problem is to determine if P can be obtained from T by deleting nodes in T. This problem has recently been ...