913 search results - page 161 / 183 » Formal Agent Development: Framework to System |
142
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
142
Voted
WISE
2006
Springer
15 years 8 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
115
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
143
click to vote
AAAI
2008
15 years 4 months ago
2008
Traditional artificial intelligence techniques do not perform well in applications such as real-time strategy games because of the extensive search spaces which need to be explore...
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
We report on an experiment to implement an autonomous creature situated in a two-dimensional world, that shows various learning and problem-solving capabilities, within the Societ...