1860 search results - page 94 / 372 » Automatic Generation of Search Engines |
159
Voted
KR
2004
Springer
15 years 9 months ago
2004
Springer
The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowled...
166
Voted
TABLEAUX
1998
Springer
15 years 7 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
152
Voted
IM
2007
15 years 3 months ago
2007
This paper describes Armil, a meta-search engine that groups the web snippets returned by auxiliary search engines into disjoint labeled clusters. The cluster labels generated by A...
155
Voted
LREC
2008
15 years 5 months ago
2008
We present an approach to the discovery of semantically similar terms that utilizes a web search engine as both a source for generating related terms and a tool for estimating the...
149
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...