6693 search results - page 1008 / 1339 » Methods of Automatic Algorithm Generation |
141
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Current web search engines return result pages containing mostly text summary even though the matched web pages may contain informative pictures. A text excerpt (i.e. snippet) is ...
153
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...
140
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
A query optimizer compares alternative plans in its search space to find the best plan for a given query. Depending on the search space and the enumeration algorithm, optimizers v...
148
click to vote
ICCAD
2002
IEEE
16 years 21 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...
127
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Testing a GUI’s visual behavior typically requires human testers to interact with the GUI and to observe whether the expected results of interaction are presented. This paper pr...