3333 search results - page 451 / 667 » Abstract Proof Search |
173
click to vote
ISPAN
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract- String matching problem received much attention over the years due to its importance in various applications such as text/file comparison, DNA sequencing, search engines,...
133
click to vote
AIMSA
1990
Springer
15 years 10 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
193
click to vote
AIRS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
145
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- This study points out some weaknesses of existing Quantum-Inspired Evolutionary Algorithms (QEA) and explains in particular how hitchhiking phenomenons can slow down the...
178
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Query expansion has received extensive attention in information retrieval community. Although semantic based query expansion appears to be promising in improving retrieva...