Sciweavers

3267 search results - page 139 / 654
» Computational Models of Language Acquisition
Sort
View
IFIP
2004
Springer
16 years 7 days 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 7 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»
16 years 7 days 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 11 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