1140 search results - page 15 / 228 » Progress on Certifying Algorithms |
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
This paper introduces a sparse signal representation algorithm in redundant dictionaries, called the M-Term Pursuit (MTP), with an application to image representation and scalable ...
CVPR
2004
IEEE
14 years 12 months ago
2004
IEEE
A novel region-based progressive stereo matching algorithm is presented. It combines the strengthes of previous region-based and progressive approaches. The progressive framework ...
RECOMB
1997
Springer
14 years 2 months ago
1997
Springer
A progressive alignment algorithm produces a multi-alignment of a set of sequences by repeatedly aligning pairs of sequences and/or previously generated alignments. We describe a ...
RT
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. This paper presents a comparison of basic progressive and wavelet radiosity algorithms. Several variants of each algorithm were run on a set of scenes at several paramete...