242 search results - page 26 / 49 » Using Abstract State Machines at Microsoft: A Case Study |
LAMAS
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we report on using a relational state space in multi-agent reinforcement learning. There is growing evidence in the Reinforcement Learning research community that a r...
ECWEB
2007
Springer
14 years 1 months ago
2007
Springer
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
This paper addresses the issue of supporting the end-user of a classifier, when it is used as a decision support system, to classify new cases. We consider several kinds of classif...
CHI
2001
ACM
14 years 8 months ago
2001
ACM
CARD (Collaborative Analysis of Requirements and Design) is an influential technique for participatory design and participatory analysis that is in use on three continents. This p...
ENTCS
2007
13 years 7 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...