674 search results - page 13 / 135 » From Constructibility and Absoluteness to Computability and ... |
CORR
2002
Springer
14 years 11 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
112
click to vote
ICIP
2005
IEEE
15 years 5 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...
ICMCS
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper presents a tool and a novel Fast Invariant Transform (FIT) algorithm for language independent e-documents access. The tool enables a person to access an e-document thro...
87
Voted
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
This paper addresses the methodology of ontology construction. It identifies five styles of approach to ontologizing (deriving from philosophy, cognitive science, linguistics, AI/c...
STOC
2007
ACM
15 years 12 months ago
2007
ACM
A zero-knowledge proof allows a prover to convince a verifier of an assertion without revealing any further information beyond the fact that the assertion is true. Secure multipar...