2861 search results - page 226 / 573 » Constraint Programming |
146
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
A critical step in defect detection for semiconductorprocess is to align a test image against a reference. This includes both spatial alignment and grayscale alignment. For the la...
207
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
A common problem in most active contour methods is that the recursive searching scheme can only return a local optimal solution. Furthermore, the internal energy of the snake is n...
163
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
146
click to vote
IJCNN
2006
IEEE
16 years 15 days ago
2006
IEEE
— Area Under the ROC Curve (AUC) is often used to evaluate ranking performance in binary classification problems. Several researchers have approached AUC optimization by approxi...
158
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...