2285 search results - page 193 / 457 » Structural Web Search Engine |
159
click to vote
IV
2005
IEEE
16 years 1 days ago
2005
IEEE
Site maps are frequently provided on Web sites as a navigation support for Web users. The automatic generation of site maps is a complex task since the structure of the data, sema...
153
click to vote
JUCS
2006
15 years 6 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 ...
179
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
Missing web pages, URIs that return the 404 “Page Not Found” error or the HTTP response code 200 but dereference unexpected content, are ubiquitous in today’s browsing exper...
201
click to vote
DEXA
2006
Springer
15 years 8 months ago
2006
Springer
Classifying and mining noise-free web pages will improve on accuracy of search results as well as search speed, and may benefit webpage organization applications (e.g., keyword-bas...
149
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The program Synarcher for synonym (and related terms) search in the text corpus of special structure (Wikipedia) was developed. The results of the search are presented in the form...