Sciweavers

2905 search results - page 334 / 581
» Formal Memetic Algorithms
Sort
View
APCCM
2010
15 years 5 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo
138
Voted
CRIWG
2007
15 years 5 months ago
Coordinating Multi-task Environments Through the Methodology of Relations Graph
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
Adailton José Alves Da Cruz, Léo Pin...
ICAI
2007
15 years 5 months ago
A Graphical Game Model of Drug Binding
Abstract Drug-protein binding is the reversible interaction of drugs with proteins in an organism and is vital in helping the body reject invading pathogenic organisms. Predicting ...
Christina Boucher, Maja Omanovic
MKWI
2008
142views Business» more  MKWI 2008»
15 years 5 months ago
A Decentralized and Ontology-Based Approach to Infrastructure Monitoring
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...
Florian Fuchs, Michael Berger
NIPS
2008
15 years 5 months ago
Multi-Agent Filtering with Infinitely Nested Beliefs
In partially observable worlds with many agents, nested beliefs are formed when agents simultaneously reason about the unknown state of the world and the beliefs of the other agen...
Luke S. Zettlemoyer, Brian Milch, Leslie Pack Kael...