16666 search results - page 16 / 3334 » Descriptive and Computational Complexity |
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
This paper presents a novel method for feature description based on intensity order. Specifically, a Local Intensity Order Pattern(LIOP) is proposed to encode the local ordinal i...
DCC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we address the design of any number of balanced descriptions using multiple description scalar quantization(MDSQ), based on fast index assignment. The proposed sche...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The rate-distortion optimal mode decision as well as motion estimation adopted in H.264 brings a big challenge to realtime encoding and transcoding duo to the high computation com...
DLOG
2009
13 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
KI
2007
Springer
14 years 1 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...