Sciweavers

9842 search results - page 1481 / 1969
» The Complexity of the Matching-Cut Problem
Sort
View
AOSE
2004
Springer
16 years 12 days ago
A Design Process for Adaptive Behavior of Situated Agents
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Elke Steegmans, Danny Weyns, Tom Holvoet, Yolande ...
ARGMAS
2004
Springer
16 years 12 days ago
Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....
Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa
ATAL
2004
Springer
16 years 12 days ago
Decentralized Language Learning through Acting
This paper presents an algorithm for learning the meaning of messages communicated between agents that interact while acting optimally towards a cooperative goal. Our reinforcemen...
Claudia V. Goldman, Martin Allen, Shlomo Zilberste...
CIS
2004
Springer
16 years 12 days ago
Algorithms for Loosely Constrained Multiple Sequence Alignment
For finding accurate and biologically meaningful multiple sequence alignment, it is required to consider a loosely constrained version of multiple sequence alignment. This paper is...
Bin Song, Fengfeng Zhou, Guoliang Chen
CONCUR
2004
Springer
16 years 12 days ago
Model Checking Timed Automata with One or Two Clocks
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
François Laroussinie, Nicolas Markey, Ph. S...
« Prev « First page 1481 / 1969 Last » Next »