1593 search results - page 76 / 319 » An Intelligent Model and Its Implementation of Search Engine |
272
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- Inspired by the great success of information retrieval (IR) style keyword search on the web, keyword search on XML has emerged recently. The difference between text data...
124
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present the application of evolutionary optimization methods to a demanding, industrially relevant engineering domain, the three-dimensional optimization of gas ...
146
Voted
ICCAD
2002
IEEE
16 years 17 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
109
Voted
AIME
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Prominent biomedical literature search tools like ScienceDirect, PubMed Central or MEDLINE allow for efficient retrieval of resources based on key words. Due to vast amou...
125
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...