9931 search results - page 482 / 1987 » Generative Modeling by PRISM |
214
click to vote
COLLABORATION
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
193
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Cognitive models of software comprehension are potential sources of theoretical knowledge for tool designers. Although their use in analysis of existing tools is fairly wellestabl...
170
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
175
click to vote
ESANN
2008
15 years 8 months ago
2008
Abstract. An architecture for achieving word recognition and incremental learning of new words in a language processing system is presented. The architecture is based on neural ass...
191
click to vote
GAMEON
2008
15 years 8 months ago
2008
The increasing complexity of game development highlights the need of intellectual and industrial tools to enhance productivity in terms of quality, time and cost. In this paper we...