Sciweavers

2490 search results - page 271 / 498
» Complexity of Contextual Reasoning
Sort
View
WOWMOM
2005
ACM
81views Multimedia» more  WOWMOM 2005»
15 years 10 months ago
Robust Distributed Systems Achieving Self-Management through Inference
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
Willem de Bruijn, Herbert Bos, Henri E. Bal
ATAL
2005
Springer
15 years 10 months ago
Efficient information retrieval using mobile agents
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...
Irene Sygkouna, Miltiades E. Anagnostou
CP
2005
Springer
15 years 10 months ago
Distributed Constraints for Large-Scale Scheduling Problems
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
Montserrat Abril, Miguel A. Salido, Federico Barbe...
147
Voted
DALT
2005
Springer
15 years 10 months ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
143
Voted
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 10 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...