455 search results - page 51 / 91 » GLOSSER-RuG: in Support of Reading |
137
Voted
LPAR
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
173
click to vote
ICDE
2007
IEEE
16 years 15 days ago
2007
IEEE
Wireless sensor networks have enormous potential to aid data collection in a number of areas, such as environmental and wildlife research. In this paper, we address the challenges...
DAC
2006
ACM
16 years 3 days ago
2006
ACM
Application-specific instruction-set extensions (custom instructions) help embedded processors achieve higher performance. Most custom instructions offering significant performanc...
ESORICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...
CHI
2001
ACM
15 years 11 months ago
2001
ACM
Increasingly, documents exist primarily in digital form. System designers have recently focused on making it easier to read digital documents, with annotation as an important new ...