558 search results - page 87 / 112 » Conversational Case-Based Reasoning |
134
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
ACII
2005
Springer
15 years 7 months ago
2005
Springer
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...
105
click to vote
CHES
2004
Springer
15 years 7 months ago
2004
Springer
Cryptographic algorithms implemented on smart-cards must be protected against side-channel attacks. Some encryption schemes and hash functions like IDEA, RC6, MD5, SHA-1 alternate ...
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
128
Voted
IDEAS
2002
IEEE
15 years 6 months ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...