488 search results - page 1 / 98 » The descriptive complexity approach to LOGCFL |
CORR
1998
Springer
13 years 4 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
FUIN
2010
13 years 2 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
ECCC
2011
12 years 11 months ago
2011
In recent results the complexity of isomorphism testing on graphs of bounded treewidth is improved to TC1 [GV06] and further to LogCFL [DTW10]. The computation of canonical forms ...
CBMS
2002
IEEE
13 years 9 months ago
2002
IEEE
The article deals with the problem of texture description. It presents a statistical approach. Specifically it introduces the use of first- and second-order statistics on textur...
CVPR
2001
IEEE
14 years 6 months ago
2001
IEEE
We present a model-based approach to detecting and describing compositions of buildings with complex rooftops. Previous approaches have dealt with either simpler models or models ...