Sciweavers

1816 search results - page 101 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
ATAL
2004
Springer
15 years 11 months ago
Role-Based Approaches for Agent Development
Roles seem to be a suitable concept for the development of agent-based systems. We have compared different approaches based on roles for agent development. This paper illustrates ...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi, Fra...
GECCO
2006
Springer
168views Optimization» more  GECCO 2006»
15 years 10 months ago
A Bayesian approach to learning classifier systems in uncertain environments
In this paper we propose a Bayesian framework for XCS [9], called BXCS. Following [4], we use probability distributions to represent the uncertainty over the classifier estimates ...
Davide Aliprandi, Alex Mancastroppa, Matteo Matteu...
VLSID
2000
IEEE
121views VLSI» more  VLSID 2000»
15 years 10 months ago
Design of Synchronous Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
Juha Plosila, Tiberiu Seceleanu
EUROMICRO
2006
IEEE
16 years 11 days ago
A Method for Component-Based Software and System Development
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
Denis Hatebur, Maritta Heisel, Jeanine Souqui&egra...
FORTEST
2008
15 years 7 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...