4209 search results - page 475 / 842 » Abstract Dialectical Frameworks |
132
click to vote
CIG
2005
IEEE
16 years 12 days ago
2005
IEEE
AbstractWe describe Utile Coordination, an algorithm that allows a multiagent system to learn where and how to coordinate. The method starts with uncoordinated learners and maintai...
154
click to vote
APLAS
2005
ACM
16 years 10 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
190
click to vote
SIGMOD
2005
ACM
16 years 10 days ago
2005
ACM
Recursion represents an important addition to the SQL language. This work focuses on the optimization of linear requeries in SQL. To provide an abstract framework for discussion, ...
151
click to vote
AOSE
2005
Springer
16 years 9 days ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri netbased MAS framework Mulan. By transferring the concept...
162
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...