3765 search results - page 676 / 753 » Qualitative Action Systems |
FM
2006
Springer
14 years 1 months ago
2006
Springer
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...
ITS
2000
Springer
14 years 1 months ago
2000
Springer
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...
PPDP
2000
Springer
14 years 1 months ago
2000
Springer
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...
EPIA
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. The paper introduces a reinforcement learning-based methodology for performance improvement of Intelligent Controllers. The translation interfaces of a 3-level Hierarchic...
KORSO
1995
14 years 1 months ago
1995
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,...