Sciweavers

2302 search results - page 109 / 461
» Basic Description Logics
Sort
View
BIRTHDAY
2010
Springer
15 years 2 months ago
Tracking Evidence
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
Sergei N. Artëmov
FLAIRS
2006
15 years 5 months ago
Clue Deduction: Professor Plum Teaches Logic
In this paper, we describe curricular materials that use the game of Clue to teach basic concepts of propositional logic. While there are many ways of teaching concepts of logic, ...
Todd W. Neller, Zdravko Markov, Ingrid Russell
ICLP
2010
Springer
15 years 7 months ago
Abductive Inference in Probabilistic Logic Programs
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
Gerardo I. Simari, V. S. Subrahmanian
SPIN
2007
Springer
15 years 10 months ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
PCM
2005
Springer
186views Multimedia» more  PCM 2005»
15 years 9 months ago
Directional Lifting-Based Wavelet Transform for Multiple Description Image Coding with Quincunx Segmentation
In this paper, a new multiple description image coding scheme using directional lifting transform is proposed. The basic idea is to divide an image into two descriptions with quinc...
Nan Zhang 0006, Yan Lu, Feng Wu, Baocai Yin