Sciweavers

732 search results - page 55 / 147
» corr 2011
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 10 months ago
Universal Metadata Standard
The basis of consciousness is an association of notions, the neuronal network. Similarly, the creation of a next generation internet (semantic web) is impossible without attributes...
Andrej Poleev
CORR
2011
Springer
205views Education» more  CORR 2011»
14 years 10 months ago
Detection of objects in noisy images and site percolation on square lattices
Abstract: We propose a novel probabilistic method for detection of objects in noisy images. The method uses results from percolation and random graph theories. We present an algori...
Mikhail A. Langovoy, Olaf Wittich
CORR
2011
Springer
126views Education» more  CORR 2011»
14 years 7 months ago
New Polynomial Classes for Logic-Based Abduction
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given pro...
Bruno Zanuttini
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 10 months ago
Failure of A Mix Network
A mix network by Wikstrom fails in correctness, provable privacy and soundness. Its claimed advantages in security and efficiency are compromised. The analysis in this paper illus...
Kun Peng
CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 10 months ago
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be...
Nick Bezhanishvili, Mai Gehrke