3151 search results - page 459 / 631 » Using query term order for result summarisation |
166
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Searching for an item in a long ordered list is a frequent task when using any kind of computing device (from desktop PCs to mobile phones). This paper explores three different int...
160
click to vote
AIPS
2009
15 years 7 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
184
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we present an approach to detect external plagiarism based on textual similarity. This is an efficient and precise method that can be applied over large sets of docum...
164
click to vote
JCB
2007
15 years 6 months ago
2007
Optical mapping is an integrated system for the analysis of single DNA molecules. It constructs restriction maps (noted as “optical map”) from individual DNA molecules present...
217
click to vote
PE
2000
Springer
15 years 6 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...