1917 search results - page 188 / 384 » Experimenting with Nonmonotonic Reasoning |
159
click to vote
DAGM
2005
Springer
16 years 18 days ago
2005
Springer
We consider the problem of deblurring images which have been blurred by different reasons during image acquisition. We propose a variational approach admitting spatially variant an...
173
Voted
ECSQARU
2005
Springer
16 years 18 days ago
2005
Springer
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
154
click to vote
ICCBR
2005
Springer
16 years 18 days ago
2005
Springer
Traditional CBR approaches imply centralized storage of the case base and, most of them, the retrieval of similar cases by an exhaustive comparison of the case to be solved with th...
183
click to vote
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
195
click to vote
SAT
2005
Springer
16 years 17 days ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...