3736 search results - page 425 / 748 » Hand-Writing Program Generator Generators |
186
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
209
click to vote
ADL
2000
Springer
15 years 11 months ago
2000
Springer
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
180
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
151
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The inclusion of additional modalities into the communicative behavior of virtual agents besides speech has moved into focus of human-computer interface researchers, as h...
179
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Dynamic planning concerns the planning and execution of actions in a dynamic, real world environment. Its goal is to take into account changes generated by unpredicted events occur...