Sciweavers

2218 search results - page 237 / 444
» Testing Expressibility Is Hard
Sort
View
ACII
2005
Springer
15 years 8 months ago
Affective Composites: Autonomy and Proxy in Pedagogical Agent Networks
This paper proposes an alternative paradigm for building affective competencies in embodied conversational agents (ECAs). The key feature of this approach -- and the reason for ref...
Eric R. Hamilton
ESOP
2005
Springer
15 years 8 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
Alan Jeffrey, Julian Rathke
LCPC
2005
Springer
15 years 8 months ago
Interprocedural Symbolic Range Propagation for Optimizing Compilers
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
Hansang Bae, Rudolf Eigenmann
MLCW
2005
Springer
15 years 8 months ago
Recognizing Textual Entailment Via Atomic Propositions
Abstract. This paper describes Macquarie University’s Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to...
Elena Akhmatova, Diego Mollá
139
Voted
AVBPA
2005
Springer
296views Biometrics» more  AVBPA 2005»
15 years 8 months ago
Exploring Similarity Measures for Biometric Databases
Currently biometric system performance is evaluated in terms of its FAR and FRR. The accuracy expressed in such a manner depends on the characteristics of the dataset on which the ...
Praveer Mansukhani, Venu Govindaraju