1805 search results - page 176 / 361 » A Theory of Closure Operators |
160
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
In many image analysis applications there is a need to extract curves in noisy images. To achieve a more robust extraction, one can exploit correlations of oriented features over a...
201
click to vote
AISB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
163
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronte...
181
click to vote
IWFM
2000
15 years 8 months ago
2000
Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal lo...
187
click to vote
SIROCCO
1998
15 years 8 months ago
1998
A distributed counter is a concurrent object which provides a fetch-and-increment operation on a shared value. On the basis of a distributed counter, one can implement various fun...