12257 search results - page 2158 / 2452 » Analysis of Algorithms |
131
Voted
COMPULOG
1999
Springer
15 years 8 months ago
1999
Springer
Many constraint satisfaction problems can be naturally and efficiently modelled using non-binary constraints like the “all-different” and “global cardinality” constraints...
163
Voted
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
To analyze the complexity of object-oriented software, several metrics have been proposed. Among them, Chidamber and Kemerer's metrics are well-known ones as object-oriented ...
145
click to vote
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
129
Voted
SCALESPACE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Multiresolution techniques are often used to shorten the execution times of dynamic programming based deformable contour optimization methods by decreasing the image reso...
128
click to vote
SCALESPACE
1999
Springer
15 years 8 months ago
1999
Springer
ÐA method for deforming curves in a given image to a desired position in a second image is introduced in this paper. The algorithm is based on deforming the first image toward the...