Sciweavers

256 search results - page 8 / 52
» What Makes a Good Answer
Sort
View
132
Voted
IUI
2009
ACM
16 years 17 days ago
Have a say over what you see: evaluating interactive compression techniques
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...
Simon Tucker, Steve Whittaker
116
Voted
SEMCO
2007
IEEE
15 years 10 months ago
Answering English Questions using Foreign-Language, Semi-Structured Sources
Despite continuing advances in machine translation technology, users who lack familiarity with particular foreign languages have no good way to find information in those languages...
Boris Katz, Gary C. Borchardt, Sue Felshin, Yuan K...
223
Voted
ESOP
2004
Springer
15 years 9 months ago
Trust Management in Strand Spaces: A Rely-Guarantee Method
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
Joshua D. Guttman, F. Javier Thayer, Jay A. Carlso...
179
Voted
AGP
2003
IEEE
15 years 9 months ago
Reasoning about the Semantic Web using Answer Set Programming
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
Giovambattista Ianni, Francesco Calimeri, Vincenzi...
177
Voted
POPL
1989
ACM
15 years 7 months ago
How to Make ad-hoc Polymorphism Less ad-hoc
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
Philip Wadler, Stephen Blott