Sciweavers

545 search results - page 81 / 109
» Recursive logic frames
Sort
View
LOGCOM
2010
96views more  LOGCOM 2010»
14 years 8 months ago
The Complexity of the Warranted Formula Problem in Propositional Argumentation
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
Robin Hirsch, Nikos Gorogiannis
CORR
2010
Springer
82views Education» more  CORR 2010»
14 years 7 months ago
Computing (or not) Quasi-Periodicity Functions of Tilings
Abstract. We know that tilesets that can tile the plane always admit a quasiperiodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicit...
Alexis Ballier, Emmanuel Jeandel
ICIP
2006
IEEE
15 years 11 months ago
Generation of Long-Term Color and Motion Coherent Partitions
This paper describes a technique for generating partition sequences of regions presenting long-term homogeneity in color and motion coherency in terms of affine models. The techni...
Camilo C. Dorea, Ferran Marqués, Montse Par...
ISBI
2008
IEEE
15 years 10 months ago
Double time-scale image reconstruction of the beating and developing embryonic zebrafish heart
We present a time-lapse collection and reconstruction technique that allows following embryonic heart development at any computationally halted heart contraction state. The centra...
Michael Liebling, Julien Vermot, Scott E. Fraser
ICASSP
2009
IEEE
15 years 4 months ago
Adaptive dereverberation of speech signals with speaker-position change detection
This paper proposes a method for adaptive speech dereverberation and speaker-position change detection, which have not previously been addressed. Signal transmission channels in r...
Takuya Yoshioka, Hideyuki Tachibana, Tomohiro Naka...