9264 search results - page 1270 / 1853 » Space Between Languages |
178
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
In this contribution, the Bayesian framework for interpretation of evidence when applied to forensic speaker recognition is introduced. Different aspects of the use of voice as ev...
187
click to vote
ENTCS
2006
15 years 7 months ago
2006
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
162
click to vote
ENTCS
2006
15 years 7 months ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
137
click to vote
CONNECTION
2007
15 years 7 months ago
2007
Androids replicating humans in forms need also to achieve replication in behaviors to realize high level of believability. It has been observed that people exhibit strong tendency...
187
click to vote
JAR
2008
15 years 7 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...