3228 search results - page 483 / 646 » Computationally Sound Proofs |
118
click to vote
NIPS
2008
15 years 4 months ago
2008
We consider the problem of transforming a signal to a representation in which the components are statistically independent. When the signal is generated as a linear transformation...
118
click to vote
MEDINFO
2007
15 years 4 months ago
2007
Objectives: To discuss the relationships between ontologies, terminologies and language in the context of Natural Language Processing (NLP) applications in order to show the negat...
139
Voted
RSS
2007
15 years 4 months ago
2007
Abstract—In this paper, we present the analysis and experimental validation of a vision-aided inertial navigation algorithm for planetary landing applications. The system employs...
148
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Many systems require the setting of a large number of parameters. This is often a difficult and time consuming task, especially for novice users. A framework is presented to simp...
135
Voted
NIPS
2001
15 years 4 months ago
2001
A key question in neuroscience is how to encode sensory stimuli such as images and sounds. Motivated by studies of response properties of neurons in the early cortical areas, we p...