1788 search results - page 284 / 358 » The Language of Search |
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
CPAIOR
2010
Springer
14 years 2 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
JUCS
2006
13 years 9 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
EDBTW
2004
Springer
14 years 2 months ago
2004
Springer
In today’s global village, it is critical that the key information tools, such as web search engines, e-Commerce portals and e-Governance, work across multiple natural languages,...