455 search results - page 34 / 91 » GLOSSER-RuG: in Support of Reading |
73
Voted
MIDDLEWARE
2005
Springer
15 years 4 months ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
SEKE
2005
Springer
15 years 4 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
106
click to vote
JELIA
2004
Springer
15 years 4 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
HT
2003
ACM
15 years 4 months ago
2003
ACM
The integration of printed paper and digital information enables new forms of enhanced reading. We present digitally augmented paper as a specific application of our more general...
JCDL
2003
ACM
15 years 4 months ago
2003
ACM
Early modern books written in Latin contain many abbreviations of common words that are derived from earlier manuscript practice. While these abbreviations are usually easily deci...