16666 search results - page 9 / 3334 » Descriptive and Computational Complexity |
ICLP
2005
Springer
14 years 27 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
CSR
2009
Springer
14 years 2 months ago
2009
Springer
Muchnik’s theorem about simple conditional descriptions states that for all strings a and b there exists a short program p transforming a to b that has the least possible length ...
TCSV
2010
13 years 2 months ago
2010
A low complexity M-channel multiple description coding scheme is developed in this paper, in which each description carries one subset of the input with a higher bit rate and the r...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper investigates ordinal image description for
invariant feature correspondence. Ordinal description is
a meta-technique which considers image measurements in
terms of th...
DAC
1998
ACM
13 years 11 months ago
1998
ACM
We present a technique for synthesizing power- as well as area-optimized circuits from hierarchical data flow graphs under throughput constraints. We allow for the use of complex...