2520 search results - page 342 / 504 » Model-checking behavioral programs |
124
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
108
click to vote
AIED
2007
Springer
15 years 8 months ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
139
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
125
click to vote
IFL
2007
Springer
15 years 8 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
149
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...