2252 search results - page 298 / 451 » Regular expression patterns |
119
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
141
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regular...
145
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Independent Components Analysis (ICA) maximizes the statistical independence of the representational components of a training image ensemble, but it cannot distinguish between the...
146
Voted
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Abstract We develop a distance metric for clustering and classification algorithms which is invariant to affine transformations and includes priors on the transformation parameters...
106
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
Active contours are adapted to image segmentation by energy minimization. The energies often exhibit local minima, requiring regularization. Such an a priori can be expressed as a...