8874 search results - page 1719 / 1775 » A New Implementation of Automath |
117
Voted
AAAI
1997
15 years 5 months ago
1997
This case study paper reports on the development and implementation of DISXPERT, a rule-based expert system tool for referral of social security disability recipients to vocationa...
136
Voted
ACL
1997
15 years 5 months ago
1997
We present and experimentally evaluate a new model of pronunciation by analogy: the paradigmatic cascades model. Given a pronunciation lexicon, this algorithm first extracts the m...
145
Voted
FTCS
1997
15 years 5 months ago
1997
This paper presents robust emulation of multi-writer/multi-reader registers in message-passing systems using dynamic quorum con gurations. In addition to processor and link failur...
152
Voted
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
129
Voted
ICIS
1997
15 years 5 months ago
1997
There are many in the information systemsdiscipline who believe that user participation is necessary for successful systems development. However, it has been suggested that this b...