Sciweavers

3765 search results - page 676 / 753
» Qualitative Action Systems
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 10 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
ITS
2000
Springer
128views Multimedia» more  ITS 2000»
15 years 10 months ago
Active Learner Modelling
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...
Gordon I. McCalla, Julita Vassileva, Jim E. Greer,...
PPDP
2000
Springer
15 years 10 months ago
Declarative event-oriented programming
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
Conal Elliott
EPIA
1995
Springer
15 years 10 months ago
Using Stochastic Grammars to Learn Robotic Tasks
Abstract. The paper introduces a reinforcement learning-based methodology for performance improvement of Intelligent Controllers. The translation interfaces of a 3-level Hierarchic...
Pedro U. Lima, George N. Saridis
KORSO
1995
15 years 10 months ago
TROLL light - The Language and its Development Environment
in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf...