149 search results - page 10 / 30 » A realizability interpretation for classical analysis |
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a view independent face recognition method based on kernel principal component analysis (KPCA) of local parts. View changes induce large variation in feature s...
MIR
2004
ACM
14 years 1 months ago
2004
ACM
The interpretation of natural scenes, generally so obvious and effortless for humans, still remains a challenge in computer vision. To allow the search of image-based documents i...
SSWMC
2004
13 years 9 months ago
2004
This paper deals with the problem of synchronization in the particular case of audio data hiding. In this kind of application the goal is to increase the information of an audio d...
BMCBI
2006
13 years 7 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...