Several studies have found that the Cranfield approach to evaluation can report significant performance differences between retrieval systems for which little to no performance...
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...
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...
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...
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...