8760 search results - page 1395 / 1752 » Modeling users of intelligent systems |
176
Voted
LFCS
2007
Springer
16 years 27 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
209
click to vote
ICAT
2006
IEEE
16 years 24 days ago
2006
IEEE
A real-time camera registration algorithm using nature features for augmented reality applications is presented. The system uses a single camera for visual tracking of the nature ...
191
click to vote
ACOM
2006
Springer
16 years 22 days ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...
234
click to vote
ACOM
2006
Springer
16 years 22 days ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
162
click to vote
ACRI
2006
Springer
16 years 22 days ago
2006
Springer
We present a cellular-automaton model of a reaction-diffusion excitable system with concentration dependent inhibition of the activator, and study the dynamics of mobile localiza...