Sciweavers

1057 search results - page 117 / 212
» Evaluation of User Search in a Web-Database
Sort
View
SIGIR
2010
ACM
14 years 2 months ago
Human performance and retrieval precision revisited
Several studies have found that the Cranfield approach to evaluation can report significant performance differences between retrieval systems for which little to no performance...
Mark D. Smucker, Chandra Prakash Jethani
KES
2010
Springer
13 years 8 months ago
An Efficient Mechanism for Stemming and Tagging: The Case of Greek Language
In an era that, searching the WWW for information becomes a tedious task, it is obvious that mainly search engines and other data mining mechanisms need to be enhanced with charact...
Giorgos Adam, Konstantinos Asimakis, Christos Bour...
FROCOS
2011
Springer
12 years 10 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
INFOVIS
2000
IEEE
14 years 2 months ago
Interactive Problem Solving via Algorithm Visualization
COMIND is a tool for conceptual design of industrial products. It helps designers define and evaluate the initial design space by using search algorithms to generate sets of feasi...
Pearl Pu, Denis Lalanne
VR
2002
IEEE
147views Virtual Reality» more  VR 2002»
13 years 10 months ago
Designing Virtual Environments to Support Cooperation in the Real World
Much of the current research in the design of virtual environments is centred on laboratory prototypes and emphasis is placed on supporting cooperation within the virtual world its...
Andy Crabtree, Tom Rodden, John A. Mariani