1860 search results - page 303 / 372 » Automatic Generation of Search Engines |
153
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
120
click to vote
HT
1997
ACM
15 years 7 months ago
1997
ACM
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
142
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
118
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Web Directories have emerged as an alternative to the Search Engines for locating information on the Web. Typically, Web Directories rely on humans putting in significant time and ...
128
Voted
VLDB
1995
ACM
15 years 7 months ago
1995
ACM
The World-Wide Web (WWW) is an ever growing, distributed, non-administered, global information resource. It resides on the worldwide computer network and allows access to heteroge...