7167 search results - page 214 / 1434 » A Technique for Invariant Generation |
239
click to vote
ICAI
2004
15 years 8 months ago
2004
This paper centers on the discussion of k-medoid-style clustering algorithms for supervised summary generation. This task requires clustering techniques that identify class-unifor...
200
click to vote
FORTE
2003
15 years 8 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
256
click to vote
PICS
2003
15 years 8 months ago
2003
Color gamut characterization is an essential step in the ICC profile generation for imaging devices. It is also needed as part of evaluation and comparison of image quality achiev...
203
click to vote
IJCAI
1997
15 years 8 months ago
1997
This paper presents a technique, called GENH, that automatically generates search heuristics for scheduling problems. The impetus for developing this technique is the growing cons...
163
click to vote
TOG
2008
15 years 7 months ago
2008
Tourist maps are essential resources for visitors to an unfamiliar city because they visually highlight landmarks and other points of interest. Yet, hand-designed maps are static ...