Sciweavers

Share
CORR
2006
Springer
126views Education» more  CORR 2006»
8 years 4 months ago
Logic programs with monotone abstract constraint atoms
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
CORR
2006
Springer
126views Education» more  CORR 2006»
8 years 4 months ago
Updating Probabilities
Ariel Caticha, Adom Giffin
CORR
2006
Springer
123views Education» more  CORR 2006»
8 years 4 months ago
Context for models of concurrency
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...
Peter Bubenik
CORR
2006
Springer
131views Education» more  CORR 2006»
8 years 4 months ago
Sequences with constant number of return words
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...
Lubomíra Balková, Edita Pelantov&aac...
CORR
2006
Springer
131views Education» more  CORR 2006»
8 years 4 months ago
Intensional Models for the Theory of Types
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...
Reinhard Muskens
CORR
2006
Springer
130views Education» more  CORR 2006»
8 years 4 months ago
On optimal quantization rules for some sequential decision problems
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...
XuanLong Nguyen, Martin J. Wainwright, Michael I. ...
CORR
2006
Springer
151views Education» more  CORR 2006»
8 years 4 months ago
Graph Laplacians and their convergence on random neighborhood graphs
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...
Matthias Hein, Jean-Yves Audibert, Ulrike von Luxb...
CORR
2006
Springer
130views Education» more  CORR 2006»
8 years 4 months ago
Cryptanalysis of a chaotic block cipher with external key and its improved version
Chengqing Li, Shujun Li, Gonzalo Álvarez, G...
CORR
2006
Springer
113views Education» more  CORR 2006»
8 years 4 months ago
The Tree Inclusion Problem: In Linear Space and Faster
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 ...
Philip Bille, Inge Li Gørtz
books