59 search results - page 7 / 12 » Integrating Searching and Authoring in Mizar |
CHI
2007
ACM
16 years 1 days ago
2007
ACM
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
119
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Once information retrieval has located a document, and information extraction has provided its contents, how do we know whether we should actually believe it? Fact-finders are a ...
91
Voted
CHI
2004
ACM
16 years 17 hour ago
2004
ACM
Most information retrieval (IR) interfaces are designed for a single user working with a dedicated interface. We present a system in which the IR interface has been fully integrat...
92
Voted
IPM
2007
14 years 11 months ago
2007
Interactive query expansion (IQE) (c.f. Efthimiadis, 1996) is a potentially useful technique to help searchers formulate improved query statements, and ultimately retrieve better ...
129
click to vote
EDBT
2002
ACM
15 years 11 months ago
2002
ACM
Applying meta search systems is a suitable method to support the user if there are many different services. Due to information splitting strategies of literature services existing ...