Sciweavers

17054 search results - page 19 / 3411
» Logics of Dynamical Systems
Sort
View
GECCO
2011
Springer
274views Optimization» more  GECCO 2011»
13 years 1 months ago
Fuzzy dynamical genetic programming in XCSF
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...
Richard Preen, Larry Bull
ADC
2004
Springer
109views Database» more  ADC 2004»
14 years 1 months ago
A Model of Dynamic Resource Allocation in Workflow Systems
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
Guido Governatori, Antonino Rotolo, Shazia Wasim S...
COORDINATION
2008
Springer
13 years 11 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
EKAW
1999
Springer
14 years 2 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
EEMMAS
2007
Springer
14 years 4 months ago
DECIDE: Applying Multi-agent Design and Decision Logic to a Baggage Handling System
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
Kasper Hallenborg, Yves Demazeau