13383 search results - page 370 / 2677 » Abstractions from proofs |
155
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract - This paper presents an improvement over a previous contour closure algorithm. Assuming that edge points are given as input, the proposed approach consists of two steps. ...
136
click to vote
ACII
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Recent findings demonstrated that negative emotional faces (sad, anger or fear) tend to attract attention more than positive faces do. This study used the paradigm of vis...
190
click to vote
DSSCV
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Several image processing algorithms imitate the lateral interaction of neurons in the visual striate cortex V1 to account for the correlations along contours and lines. H...
167
click to vote
EPEW
2005
Springer
16 years 11 days ago
2005
Springer
We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. The framework presented in ...
155
click to vote
ICCSA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper, efficient and economical methods for water area detection during flood event in mountainous area is proposed. To accomplish this, various case studies were...