1860 search results - page 14 / 372 » Automatic Generation of Search Engines |
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
Previous researchers have suggested the use of “lighthouses” to act as guides in directed state space search. The drawback of using lighthouses is that the user has to manuall...
CLEF
2009
Springer
13 years 11 months ago
2009
Springer
This report outlines our participation in CLEF-IP's 2009 prior art search task. In the task's initial year our focus lay on the automatic generation of effective queries...
CP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
CP
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
CBMS
2007
IEEE
14 years 4 days ago
2007
IEEE
This paper presents an extensible schema for capturing laboratory gene variance data with its meta-data properties in a semi-structured environment. This paper also focuses on the...