CORR
2006
Springer
14 years 23 days ago
2006
Springer
CORR
2006
Springer
14 years 23 days ago
2006
Springer
CORR
2006
Springer
14 years 23 days 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
14 years 23 days 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
14 years 23 days 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
14 years 23 days 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
14 years 23 days 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
14 years 23 days ago
2006
Springer
CORR
2006
Springer
14 years 23 days ago
2006
Springer
CORR
2006
Springer
14 years 23 days 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 ...