1995 search results - page 316 / 399 » The Chemical Abstract Machine |
138
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...
141
click to vote
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
There is an increasing trends towards distributed and shared repositories for storing scientific datasets. Developing applications that retrieve and process data from such reposit...
136
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
137
click to vote
SACRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
152
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...