5830 search results - page 859 / 1166 » Automatic link generation |
161
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
Anecdotal evidence suggests that Web document summaries provide the sighted reader with a basis for making decisions regarding the route to take within non-linear text; and additi...
172
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
More and more documents on the World Wide Web are based on templates. On a technical level this causes those documents to have a quite similar source code and DOM tree structure. G...
205
click to vote
ISMB
1998
15 years 8 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
176
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
206
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Recent advances with high-throughput methods in life-science research have increased the need for automatized data analysis and visual exploration techniques. Sophisti...