Sciweavers

3267 search results - page 139 / 654
» Computational Models of Language Acquisition
Sort
View
IFIP
2004
Springer
15 years 11 months ago
Complementing Computational Protocol Analysis with Formal Specifications
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
CSDA
2006
100views more  CSDA 2006»
15 years 6 months ago
Implementing a class of structural change tests: An econometric computing approach
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...
Achim Zeileis
PCM
2004
Springer
131views Multimedia» more  PCM 2004»
15 years 11 months ago
Vision-Based Sign Language Recognition Using Sign-Wise Tied Mixture HMM
Abstract. In this paper, a new sign-wise tied mixture HMM (SWTMHMM) is proposed and applied in vision-based sign language recognition (SLR). In the SWTMHMM, the mixture densities o...
Liangguo Zhang, Gaolin Fang, Wen Gao, Xilin Chen, ...
ESAW
2006
Springer
15 years 10 months ago
A Definition of Exceptions in Agent-Oriented Computing
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
ECAI
2000
Springer
15 years 10 months ago
Languages for Negotiation
This paper considers the use of logic-based languages for multi-agent negotiation. We begin by motivating the use of such languages, and introducing a formal model of logic-based n...
Michael Wooldridge, Simon Parsons