1511 search results - page 102 / 303 » Relational Parametricity for Computational Effects |
110
click to vote
ICPR
2002
IEEE
16 years 5 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 ...
113
Voted
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper addresses the relationship between the Visual Assessment of cluster Tendency (VAT) algorithm and Dunn’s cluster validity index. We present an analytical comparison in...
146
click to vote
ADS
2004
Springer
15 years 10 months ago
2004
Springer
Modeling user affect is becoming increasingly important for intelligent interfaces and agents that aim to establish believable interactions with their users. However, evaluating th...
140
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
The establishment of a computational framework of roles contributes effectively to the management of instance models because it provides us with a useful policy for treatment of vi...
155
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...