11436 search results - page 2115 / 2288 » Modeling Real Reasoning |
197
Voted
GPCE
2004
Springer
16 years 10 days ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
185
click to vote
P2P
2003
IEEE
16 years 7 days ago
2003
IEEE
In this paper, we take an availability-centric view on quality of service (QoS) and propose a model and mechanisms for studying the effectiveness of realistic replication schemes ...
183
click to vote
IUI
2003
ACM
16 years 6 days ago
2003
ACM
Animated pedagogical agents offer promise as a means of making computer-aided learning more engaging and effective. To achieve this, an agent must be able to interact with the lea...
184
Voted
PLDI
2003
ACM
16 years 6 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
178
Voted
ESOP
2003
Springer
16 years 5 days ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...