2520 search results - page 342 / 504 » Model-checking behavioral programs |
177
click to vote
RTAS
2008
IEEE
16 years 25 days 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...
159
click to vote
AIED
2007
Springer
16 years 19 days 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...
192
click to vote
ECOOP
2007
Springer
16 years 19 days 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 ...
161
click to vote
IFL
2007
Springer
16 years 18 days 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...
202
click to vote
ILP
2007
Springer
16 years 18 days 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 ...