16666 search results - page 1 / 3334 » Descriptive and Computational Complexity |
ICTAI
2008
IEEE
14 years 1 months ago
2008
IEEE
The Web Service Composition (WSC) problem on behavioral descriptions deals with the automatic construction of a coordinator web service to control a set of web services to reach t...
FCT
1989
Springer
13 years 11 months ago
1989
Springer
CADE
2008
Springer
13 years 9 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
ACMDIS
2008
ACM
13 years 9 months ago
2008
ACM
CVPR
2001
IEEE
14 years 9 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 ...