2610 search results - page 283 / 522 » The Recognition Strategy Language |
142
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
: Student modeling approaches predominantly focus on modeling student knowledge. For effective learning, however, it is necessary to teach students how to learn, as well as to prov...
183
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
161
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
218
click to vote
ISOOMS
1994
15 years 10 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
202
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a novel system for creating virtual creatures that move and behave in simulated three-dimensional physical worlds. The morphologies of creatures and the neura...