1816 search results - page 74 / 364 » Formal Concepts of Learning Systems Validation in Use |
122
click to vote
CSUR
1999
15 years 4 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
151
click to vote
CRV
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
172
click to vote
AGTIVE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
269
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
137
Voted
KES
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a novel method for on-line coordination in multiagent reinforcement learning systems. In this method a reinforcement-learning agent learns to select its action ...