3151 search results - page 461 / 631 » Using query term order for result summarisation |
168
Voted
AIPS
2008
15 years 8 months ago
2008
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
171
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
: We are presenting a set of multilingual text analysis tools that can help analysts in any field to explore large document collections quickly in order to determine whether the do...
153
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
We present a method for efficient and reliable geo-positioning of images. It relies on image-based matching of the query images onto a trellis of existing images that provides acc...
155
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
During the optimization of a constrained problem using evolutionary algorithms (EAs), an individual in the population can be described using three important properties, i.e., obje...
153
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...