Sciweavers

9810 search results - page 54 / 1962
» Problems, Descriptions and Objects
Sort
View
DLOG
2003
13 years 11 months ago
Expressive Description Logics
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
Diego Calvanese, Giuseppe De Giacomo
ECAI
2010
Springer
13 years 11 months ago
Verifying Properties of Infinite Sequences of Description Logic Actions
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
Franz Baader, Hongkai Liu, Anees ul Mehdi
GMP
2006
IEEE
118views Solid Modeling» more  GMP 2006»
14 years 4 months ago
Computing a Family of Skeletons of Volumetric Models for Shape Description
Skeletons are important shape descriptors in object representation and recognition. Typically, skeletons of volumetric models are computed using iterative thinning. However, tradi...
Tao Ju, Matthew L. Baker, Wah Chiu
ISCAS
2008
IEEE
121views Hardware» more  ISCAS 2008»
14 years 4 months ago
A multi-hypothesis decoder for multiple description video coding
— Multiple Description Coding (MDC) can be used as an Error Resilience (ER) technique for video coding. In case of transmission errors, Error Concealment (EC) can be combined wit...
Mengyao Ma, Oscar C. Au, Liwei Guo, Xiaopeng Fan, ...
KR
2004
Springer
14 years 3 months ago
Qualitative Probabilistic Matching with Hierarchical Descriptions
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
Clinton Smyth, David Poole