Sciweavers

7457 search results - page 377 / 1492
» The Dynamics of Computing Agent Systems
Sort
View
ICRA
2008
IEEE
113views Robotics» more  ICRA 2008»
16 years 1 months ago
Inverse agreement algorithms with application to swarm dispersion for multiple nonholonomic agents
— We propose an inverse agreement control strategy for multiple nonholonomic agents that forces the team members to disperse in the workspace in a distributed manner. Both the ca...
Dimos V. Dimarogonas, Kostas J. Kyriakopoulos
CIA
2003
Springer
16 years 1 days ago
Adaptive Agent-Based Service Composition for Wireless Terminals
Software agents are one of the building blocks of ambient intelligence and pervasive computing. Adaptation to changes in the execution context is necessary in order to provide cont...
Sasu Tarkoma, Mikko Laukkanen
CLIMA
2007
15 years 8 months ago
Formal Modelling of Emotions in BDI Agents
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
David Pereira, Eugénio C. Oliveira, Nelma M...
FPL
2004
Springer
90views Hardware» more  FPL 2004»
15 years 10 months ago
Dual Fixed-Point: An Efficient Alternative to Floating-Point Computation
Abstract. This paper presents a new data representation known as Dual FiXedpoint (DFX), which employs a single bit exponent to select two different fixedpoint scalings. DFX provide...
Chun Te Ewe, Peter Y. K. Cheung, George A. Constan...
ENTCS
2008
99views more  ENTCS 2008»
15 years 6 months ago
Specifying Properties of Concurrent Computations in CLF
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
Kevin Watkins, Iliano Cervesato, Frank Pfenning, D...