Sciweavers

5964 search results - page 1002 / 1193
» A theory of speculative computation
Sort
View
CLEF
2009
Springer
15 years 4 months ago
Unsupervised Morphological Analysis by Formal Analogy
Abstract. While classical approaches to unsupervised morphology acquisition often rely on metrics based on information theory for identifying morphemes, we describe a novel approac...
Jean-François Lavallée, Philippe Lan...
DPHOTO
2009
154views Hardware» more  DPHOTO 2009»
15 years 4 months ago
Optimal color filter array design: quantitative conditions and an efficient search procedure
Most digital cameras employ a spatial subsampling process, implemented as a color filter array (CFA), to capture color images. The choice of CFA patterns has a great impact on the...
Yue M. Lu, Martin Vetterli
HVEI
2009
15 years 4 months ago
Improved colour to greyscale via integrability correction
The classical approach to converting colour to greyscale is to code the luminance signal as a grey value image. However, the problem with this approach is that the detail at equil...
Mark S. Drew, David Connah, Graham D. Finlayson, M...
ICFEM
2009
Springer
15 years 4 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
ICMI
2009
Springer
188views Biometrics» more  ICMI 2009»
15 years 4 months ago
Detecting user engagement with a robot companion using task and social interaction-based features
Affect sensitivity is of the utmost importance for a robot companion to be able to display socially intelligent behaviour, a key requirement for sustaining long-term interactions ...
Ginevra Castellano, André Pereira, Iolanda ...
« Prev « First page 1002 / 1193 Last » Next »