183 search results - page 3 / 37 » Applied Logic without Psychologism |
CHI
2004
ACM
14 years 5 months ago
2004
ACM
We identify a wide range of human memory phenomena as potential certificates of identity. These "imprinting" behaviors are characterized by vast capacity for complex exp...
ACII
2005
Springer
13 years 10 months ago
2005
Springer
This paper proposes a new facial expression recognition method which combines Higher Order Local Autocorrelation (HLAC) features with Weighted PCA. HLAC features are computed at ea...
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...