Sciweavers

2034 search results - page 100 / 407
» Declarative Agent Control
Sort
View
EMSOFT
2007
Springer
14 years 3 months ago
E-FRP with priorities
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
PEPM
1997
ACM
14 years 1 months ago
Annotation-Directed Run-Time Specialization in C
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
Brian Grant, Markus Mock, Matthai Philipose, Craig...
DSVIS
2005
Springer
14 years 2 months ago
Goal-Oriented Design of Domain Control Panels
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
Christophe Ponsard, Nadiya Balych, Philippe Masson...
ATAL
2008
Springer
13 years 11 months ago
AERIAL: hypothetical trajectory planning for multi-UAVs coordination and control
This paper presents a distributed application named AERIAL which allows coordination and control of multiple Unmanned Aerial Vehicles (UAVs) engaged in temporally constrained miss...
Paul-Edouard Marson, Michaël Soulignac, Patri...
IAT
2008
IEEE
14 years 3 months ago
An Agent Memory Model Enabling Rational and Biased Reasoning
This paper presents an architecture for a memory model that facilitates versatile reasoning mechanisms over the beliefs stored in an agent’s belief base. Based on an approach fo...
Annerieke Heuvelink, Michel C. A. Klein, Jan Treur