Sciweavers

1036 search results - page 82 / 208
» Evaluating Mixed-Initiative Systems: An Experimental Approac...
Sort
View
ICEIS
2006
IEEE
15 years 5 months ago
Filtering Unsatisfiable XPATH Queries
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
Jinghua Groppe, Sven Groppe
CIKM
2005
Springer
15 years 4 months ago
Minimal document set retrieval
This paper presents a novel formulation and approach to the minimal document set retrieval problem. Minimal Document Set Retrieval (MDSR) is a promising information retrieval task...
Wei Dai, Rohini K. Srihari
EWCBR
2008
Springer
15 years 1 months ago
Competence-Preserving Case-Deletion Strategy for Case Base Maintenance
The main goal of a Case-Based Reasoning (CBR) system is to provide criteria for evaluating the internal behavior and task efficiency of a particular system for a given initial case...
Mohamed Karim Haouchine, Brigitte Chebel-Morello, ...
ERCIMDL
1999
Springer
154views Education» more  ERCIMDL 1999»
15 years 3 months ago
Effectiveness of Keyword-Based Display and Selection of Retrieval Results for Interactive Searches
Abstract. We present an approach to increasing the effectiveness of rankedoutput retrieval systems that relies on graphical display and user manipulation of “views” of retrieva...
Ezio Berenci, Claudio Carpineto, Vittorio Giannini...
ASPDAC
2005
ACM
99views Hardware» more  ASPDAC 2005»
15 years 1 months ago
Implication of assertion graphs in GSTE
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu S...