Sciweavers

1816 search results - page 33 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
WSC
2008
13 years 10 months ago
How to build valid and credible simulation models
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
Averill M. Law
RAS
2007
117views more  RAS 2007»
13 years 8 months ago
Learning spatial concepts from RatSLAM representations
RatSLAM is a biologically-inspired visual SLAM and navigation system that has been shown to be effective indoors and outdoors on real robots. The spatial representation at the cor...
Michael Milford, Ruth Schulz, David Prasser, Gordo...
FORTE
2007
13 years 10 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
AI
1999
Springer
13 years 8 months ago
Introspective Multistrategy Learning: On the Construction of Learning Strategies
A central problem in multistrategy learning systems is the selection and sequencing of machine learning algorithms for particular situations. This is typically done by the system ...
Michael T. Cox, Ashwin Ram
SIGCSE
2004
ACM
101views Education» more  SIGCSE 2004»
14 years 1 months ago
PL-detective: a system for teaching programming language concepts
The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, p...
Amer Diwan, William M. Waite, Michele H. Jackson