Sciweavers

5030 search results - page 230 / 1006
» cases 2007
Sort
View
DLOG
2007
15 years 9 months ago
A Proof Theory for DL-Lite
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt
FLAIRS
2007
15 years 9 months ago
Compiling Experience into Knowledge
Typical application fields of Knowledge Based Systems are a usually characterized by having human expertise as the only one source to specify their desired behavior. Their design...
Rainer Knauf
WSC
2007
15 years 9 months ago
Importance sampling of compounding processes
Compounding processes, also known as perpetuities, play an important role in many applications; in particular, in time series analysis and mathematical finance. Apart from some s...
Jose Blanchet, Bert Zwart
VISAPP
2007
15 years 8 months ago
Image deconvolution using a stochastic differential equation approach
We consider the problem of image deconvolution. We foccus on a Bayesian approach which consists of maximizing an energy obtained by a Markov Random Field modeling. MRFs are classi...
Xavier Descombes, M. Lebellego, Elena Zhizhina
CORR
2007
Springer
96views Education» more  CORR 2007»
15 years 7 months ago
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets
We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. Such an analysis calls for the use of transfinite iterations of the correspond...
Krzysztof R. Apt, Jonathan A. Zvesper