Sciweavers

4854 search results - page 789 / 971
» It's the Programming, Stupid
Sort
View
ATAL
2009
Springer
15 years 11 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
AOSE
2001
Springer
15 years 11 months ago
Agent-Oriented Modelling: Software versus the World
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
Eric S. K. Yu
AUSAI
2001
Springer
15 years 11 months ago
An Investigation of an Adaptive Poker Player
: Other work has shown that adaptive learning can be highly successful in developing programs which are able to play games at a level similar to human players and, in some cases, e...
Graham Kendall, Mark Willdig
CONCUR
2001
Springer
15 years 11 months ago
CCS with Priority Guards
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
Iain Phillips
DNA
2001
Springer
139views Bioinformatics» more  DNA 2001»
15 years 11 months ago
DNA Computing in Microreactors
Abstract. The goal of this research is to improve the programmability of DNA-based computers. Novel clockable microreactors can be connected in various ways to solve combinatorial ...
Danny van Noort, Frank-Ulrich Gast, John S. McCask...