Sciweavers

9166 search results - page 449 / 1834
» A framework for comparing models of computation
Sort
View
TKDE
2012
192views Formal Methods» more  TKDE 2012»
13 years 9 months ago
Discriminative Feature Selection by Nonparametric Bayes Error Minimization
Feature selection is fundamental to knowledge discovery from massive amount of high-dimensional data. In an effort to establish theoretical justification for feature selection al...
Shuang-Hong Yang, Bao-Gang Hu
IJCNN
2006
IEEE
16 years 26 days ago
Modeling Cortical Maps with Feed-Backs
Abstract— High-level specification of how the brain represents and categorizes the causes of its sensory input allows to link “what is to be done” (perceptual task) with “...
Thierry Viéville, Pierre Kornprobst
ECCV
2002
Springer
16 years 8 months ago
A Layered Motion Representation with Occlusion and Compact Spatial Support
We describe a 2.5D layered representation for visual motion analysis. The representation provides a global interpretation of image motion in terms of several spatially localized fo...
Allan D. Jepson, David J. Fleet, Michael J. Black
EUROMICRO
1998
IEEE
15 years 11 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
15 years 8 months ago
Application of real rational modules in system identification
This paper introduces a real rational module framework in the context of Prediction Error Identification using Box-Jenkins model structures. This module framework, which can easily...
Tzvetan Ivanov, Pierre-Antoine Absil, Brian D. O. ...