2130 search results - page 263 / 426 » Visual query suggestion |
128
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
107
click to vote
AAAI
2006
15 years 5 months ago
2006
We consider example-critiquing systems that help people search for their most preferred item in a large catalog. We first analyze how such systems can help users in the framework ...
140
click to vote
RIAO
2004
15 years 5 months ago
2004
While advances have been made in structuring, indexing and retrieval of multimedia documents, we propose to study the unexplored problematics of information retrieval on heterogen...
136
click to vote
TREC
2001
15 years 5 months ago
2001
We used the YFILTER filtering system for experiments on updating profiles and setting thresholds. We developed a new method of using language models for updating profiles that is ...
144
click to vote
AAAI
2000
15 years 5 months ago
2000
The ontology used by most card catalog and bibliographic systems is based on a now outdated assumption that users of the systems would be looking for books on shelves, and therefo...