10435 search results - page 1727 / 2087 » Computational Biology and Language |
336
click to vote
PADL
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
310
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
This paper presents a surprising result: changing a seemingly innocuous aspect of an experimental setup can cause a systems researcher to draw wrong conclusions from an experiment...
178
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
In this paper, we present `QUICKIES', an attempt to bring one of the most useful inventions of the 20th century into the digital age: the ubiquitous sticky notes. `QUICKIES&#...
173
click to vote
CHI
2008
ACM
16 years 8 months ago
2008
ACM
In a typical speech dictation interface, the recognizer's bestguess is displayed as normal, unannotated text. This ignores potentially useful information about the recognizer...
346
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...