Sciweavers

7988 search results - page 117 / 1598
» A Useful Undecidable Theory
Sort
View
TIT
2002
73views more  TIT 2002»
15 years 3 months ago
Quantum rate-distortion theory for memoryless sources
We formulate quantum rate-distortion theory in the most general setting where classical side information is included in the tradeoff. Using a natural distortion measure based on en...
Igor Devetak, Toby Berger
131
Voted
HYBRID
2010
Springer
15 years 1 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
140
Voted
ICIP
2009
IEEE
15 years 1 months ago
Adaptive mathematical morphology: A unified representation theory
In this paper, we present a general theory of adaptive mathematical morphology (AMM) in the Euclidean space. The proposed theory preserves the notion of a structuring element, whi...
Nidhal Bouaynaya, Dan Schonfeld
CORR
2011
Springer
141views Education» more  CORR 2011»
14 years 10 months ago
Geometric Semigroup Theory
Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show h...
Jon McCammond, John Rhodes, Benjamin Steinberg
111
Voted
CICLING
2010
Springer
15 years 8 months ago
Extraction of Genic Interactions with the Recursive Logical Theory of an Ontology
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
Alain-Pierre Manine, Érick Alphonse, Philip...