Sciweavers

1816 search results - page 107 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
TSE
1998
129views more  TSE 1998»
15 years 6 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
GECCO
2006
Springer
196views Optimization» more  GECCO 2006»
15 years 10 months ago
An anticipatory approach to improve XCSF
XCSF is a novel version of learning classifier systems (LCS) which extends the typical concept of LCS by introducing computable classifier prediction. In XCSF Classifier predictio...
Amin Nikanjam, Adel Torkaman Rahmani
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
16 years 27 days ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
MMM
2008
Springer
114views Multimedia» more  MMM 2008»
16 years 22 days ago
Using Fuzzy Lists for Playlist Management
The increasing popularity of music recommendation systems and the recent growth of online music communities further emphasizes the need for effective playlist management tools able...
François Deliège, Torben Bach Peders...
GECCO
2006
Springer
140views Optimization» more  GECCO 2006»
15 years 10 months ago
A representational ecology for learning classifier systems
The representation used by a learning algorithm introduces a bias which is more or less well-suited to any given learning problem. It is well known that, across all possible probl...
James A. R. Marshall, Tim Kovacs