3719 search results - page 137 / 744 » RACER System Description |
157
click to vote
IAT
2007
IEEE
16 years 17 days ago
2007
IEEE
This paper deals with a multiagent self-organization process aiming to give adaptive features to distributed embedded systems involving intelligent agents in open real world. We p...
158
Voted
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
158
Voted
EPIA
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
160
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
In order to extract a suitable common core information model, design representations on both system and architecture levels are analyzed. Following the specification trajectory, ...
164
click to vote
ENTCS
2010
15 years 3 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....