Sciweavers

563 search results - page 38 / 113
» A Typing Scheme for Behavioural Models
Sort
View
AUSDM
2006
Springer
85views Data Mining» more  AUSDM 2006»
14 years 12 days ago
A Framework of Combining Markov Model With Association Rules for Predicting Web Page Accesses
The importance of predicting Web users' behaviour and their next movement has been recognised and discussed by many researchers lately. Association rules and Markov models ar...
Faten Khalil, Jiuyong Li, Hua Wang
ATAL
2009
Springer
14 years 1 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
VIROLOGY
2008
84views more  VIROLOGY 2008»
13 years 8 months ago
Formal affordance-based models of computer virus reproduction
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
Matt Webster, Grant Malcolm
ICPR
2002
IEEE
14 years 9 months ago
Interacting Multiple Model (IMM) Kalman Filters for Robust High Speed Human Motion Tracking
Accurate and robust tracking of humans is of growing interest in the image processing and computer vision communities. The ability of a vision system to track the subjects and acc...
Michael E. Farmer, Rein-Lien Hsu, Anil K. Jain
ROMAN
2007
IEEE
134views Robotics» more  ROMAN 2007»
14 years 2 months ago
Shaping Naive Users' Models of Robots' Situation Awareness
Abstract—This paper addresses a so far neglected area of human-robot interaction by approaching situation awareness from the point of view of naïve users. In particular, we pres...
Kerstin Fischer, M. Lohse