3779 search results - page 455 / 756 » Linear Consistency Testing |
167
click to vote
CONCUR
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
145
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
184
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The Probabilistic Adaptive Mapping Developmental Genetic Programming (PAM DGP) algorithm that cooperatively coevolves a population of adaptive mappings and associated genotypes is...
181
click to vote
ACIVS
2006
Springer
2006
Springer
Constrained Region-Growing and Edge Enhancement Towards Automated Semantic Video Object Segmentation
15 years 10 months ago
Most existing object segmentation algorithms suffer from a so-called under-segmentation problem, where parts of the segmented object are missing and holes often occur inside the ob...
167
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Lossless image compression techniques typically consider images to be a sequence of pixels in row major order. The processing of each pixel consists of two separate operations. Th...