10890 search results - page 27 / 2178 » Automatic Complexity Analysis |
ICTAI
2003
IEEE
14 years 25 days ago
2003
IEEE
This paper presents a generic cognitive vision platform for the automatic recognition of natural complex objects. The recognition consists of three steps : image processing for nu...
AAAI
2012
11 years 10 months ago
2012
Introspection mechanisms are employed in agent architectures to improve agent performance. However, there is currently no approach to introspection that makes automatic adjustment...
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 ...
SIGMOD
2000
ACM
13 years 12 months ago
2000
ACM
We investigate the problem of using materialized views to answer SQL queries. We focus on modern decision-support queries, which involve joins, arithmetic operations and other (po...
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...