2701 search results - page 306 / 541 » On the form of witness terms |
171
click to vote
POPL
2003
ACM
15 years 12 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
135
click to vote
SIGDOC
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, I describe how I followed an end-to-end development process in the development of the user’s guide and help information for XML DITA, using scenarios to define my...
173
click to vote
SIGDOC
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...
129
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
We will present a novel two-step fuzzy translation technique for cross-lingual spelling variants. In the first stage, transformation rules are applied to source words to render th...
159
Voted
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
As technology becomes more pervasive in our lives, and continues to change rapidly, it is essential for college students to have opportunities to improve their computer abilities ...