Sciweavers

183 search results - page 8 / 37
» aaai 2004
Sort
View
AAAI
2004
13 years 10 months ago
Engineering Open Multi-Agent Systems as Electronic Institutions
Marc Esteva, David de la Cruz, Bruno Rosell, Josep...
AAAI
2004
13 years 10 months ago
Planning and Verification for Stochastic Processes with Asynchronous Events
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...
Håkan L. S. Younes
AAAI
2004
13 years 10 months ago
Multi-Agent System Development: Design, Runtime, and Analysis
K. Suzanne Barber, Jaesuk Ahn, Karen Fullam, Thoma...
AAAI
2004
13 years 10 months ago
The Practice of Approximated Consistency for Knapsack Constraints
Knapsack constraints are a key modeling structure in discrete optimization and form the core of many real-life problem formulations. Only recently, a cost-based filtering algorith...
Meinolf Sellmann