7340 search results - page 300 / 1468 » The Behavior of Tutoring Systems |
166
click to vote
AIED
2007
Springer
16 years 24 days ago
2007
Springer
We investigate the relationship between a student’s affect and how he or she chooses to use a simulation problem-solving environment, using quantitative field observations. Withi...
197
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
166
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
205
click to vote
SIES
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
181
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This paper suggests an evolutionary approach to design coordination strategies, a key issue in distributed intelligent systems. We focus on competitive strategies in the form of f...