Sciweavers

2826 search results - page 364 / 566
» FFF97 - Oberon in the Real World
Sort
View
ATAL
2005
Springer
16 years 4 days ago
Formal Modeling and Analysis of Organizations
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
Egon L. van den Broek, Catholijn M. Jonker, Alexei...
CP
2005
Springer
16 years 4 days ago
Approximations in Distributed Optimization
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
Adrian Petcu, Boi Faltings
DALT
2005
Springer
16 years 4 days 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
ECML
2005
Springer
16 years 4 days ago
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems
Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant ex...
Christian Bessière, Remi Coletta, Fré...
ER
2005
Springer
121views Database» more  ER 2005»
16 years 4 days ago
Agent Oriented Data Integration
Abstract. Data integration is the process by which data from heterogeneous data sources are conceptually integrated into a single cohesive data set. In recent years agents have bee...
Avigdor Gal, Aviv Segev, Christos Tatsiopoulos, Ko...