Sciweavers

4209 search results - page 231 / 842
» Abstract Dialectical Frameworks
Sort
View
ICRA
2009
IEEE
266views Robotics» more  ICRA 2009»
16 years 1 months ago
Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
Alessandro Marino, Lynne E. Parker, Gianluca Anton...
SEFM
2008
IEEE
16 years 27 days ago
Modelling Rational User Behaviour as Games between an Angel and a Demon
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
EUROPAR
1999
Springer
15 years 10 months ago
INTERLACE: An Interoperation and Linking Architecture for Computational Engines
Abstract. To aid in building high-performance computational environments, INTERLACE offers a framework for linking reusable computational engines in a heterogeneous distributed sy...
Matthew J. Sottile, Allen D. Malony
POS
1998
Springer
15 years 10 months ago
The Transactional Object Cache: A Foundation for High Performance Persistent System Construction
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
Stephen Blackburn, Robin Stanton
LICS
1992
IEEE
15 years 10 months ago
Asynchronous Communication in Process Algebra
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...
Frank S. de Boer, Jan Willem Klop, Catuscia Palami...