Sciweavers

1302 search results - page 173 / 261
» Fair Equivalence Relations
Sort
View
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 1 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
APPROX
2008
Springer
190views Algorithms» more  APPROX 2008»
14 years 5 days ago
The Complexity of Local List Decoding
We study the complexity of locally list-decoding binary error correcting codes with good parameters (that are polynomially related to information theoretic bounds). We show that co...
Dan Gutfreund, Guy N. Rothblum
FORTE
2008
13 years 11 months ago
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
David de Frutos-Escrig, Miguel Palomino, Ignacio F...
ICVGIP
2008
13 years 11 months ago
Monocular Depth by Nonlinear Diffusion
Following the phenomenological approach of gestaltists, sparse monocular depth cues such as T- and X-junctions and the local convexity are crucial to identify the shape and depth ...
Jean-Michel Morel, Philippe Salembier
ESANN
2001
13 years 11 months ago
Motor control and movement optimization learned by combining auto-imitative and genetic algorithms
In sensorimotor behaviour often a great movement execution variability is combined with a relatively low error in reaching the intended goal. This phenomenon can especially be obse...
Karl-Theodor Kalveram, Ulrich Nakte