730 search results - page 89 / 146 » Harmony search for structural design |
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Focused crawlers are programs that wander in the Web, using its graph structure, and gather pages that belong to a specific topic. The most critical task in Focused Crawling is the...
COLING
2008
13 years 10 months ago
2008
Our research organization has been constructing a large scale database named SHACHI by collecting detailed meta information on language resources (LRs) in Asia and Western countri...
AAAI
2006
13 years 10 months ago
2006
Wikipedia provides a knowledge base for computing word relatedness in a more structured fashion than a search engine and with more coverage than WordNet. In this work we present e...
ECIR
2004
Springer
13 years 10 months ago
2004
Springer
A medium-scale user study was carried out to investigate the usability of a concept-based query expansion support tool. The tool was fully integrated into the interface of an IR sy...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...