Sciweavers

6240 search results - page 390 / 1248
» From Internet Information Searching to Information Summarizi...
Sort
View
BMCBI
2011
14 years 10 months ago
ENGINES: exploring single nucleotide variation in entire human genomes
Background: Next generation ultra-sequencing technologies are starting to produce extensive quantities of data from entire human genome or exome sequences, and therefore new softw...
Jorge Amigo, Antonio Salas, Christopher Phillips
WWW
2008
ACM
16 years 7 months ago
LocalSavvy: aggregating local points of view about news issues
The web has become an important medium for news delivery and consumption. Fresh content about a variety of topics, events, and places is constantly being created and published on ...
Jiahui Liu, Larry Birnbaum
WWW
2009
ACM
16 years 7 months ago
Quicklink selection for navigational query results
Quicklinks for a website are navigational shortcuts displayed below the website homepage on a search results page, and that let the users directly jump to selected points inside t...
Deepayan Chakrabarti, Ravi Kumar, Kunal Punera
RIAO
2007
15 years 8 months ago
A Co-operative Web Services Paradigm for Supporting Crawlers
The traditional crawlers used by search engines to build their collection of Web pages frequently gather unmodified pages that already exist in their collection. This creates unne...
Aravind Chandramouli, Susan Gauch
MKM
2007
Springer
16 years 1 months ago
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case
In this paper we address the problem of reconstructing a higher order, checkable proof object starting from a proof trace left by a first order automatic proof searching procedure...
Andrea Asperti, Enrico Tassi