4340 search results - page 784 / 868 » Formal Methods and Cryptography |
120
click to vote
IJDE
2002
15 years 4 months ago
2002
Despite the potentially grave ramifications of relying on faulty information in the investigative or probabitive stages, the uncertainty in digital evidence is not being evaluated...
136
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
137
click to vote
JVCA
2002
15 years 4 months ago
2002
In this paper, we describe a method for implementing the behaviour of artificial actors in the context of interactive storytelling. We have developed a fully implemented prototype...
115
click to vote
SIAMJO
2002
15 years 4 months ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...
124
click to vote
SLOGICA
2002
15 years 4 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...