2905 search results - page 393 / 581 » Formal Memetic Algorithms |
126
click to vote
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
The goal of a mediator system is to provide users a uniform interface to the multitude of information sources. To translate user queries, given in a mediated schema, to queries on...
129
click to vote
ASIAN
2007
Springer
15 years 8 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
136
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
145
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
145
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...