294 search results - page 29 / 59 » Relational Modality |
LICS
1994
IEEE
15 years 2 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
The interaction between human beings and computers will be more natural if computers are able to perceive and respond to human non-verbal communication such as emotions. Although ...
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
We study the problem of classifying mild Alzheimer's disease (AD) subjects from healthy individuals (controls) using multi-modal image data, to facilitate early identification...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a comprehensive performance analysis of multiple appearance-based face recognition methodologies, on visible and thermal infrared imagery. We compare algorithms within ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...