2819 search results - page 46 / 564 » Automatic Structures |
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
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 ...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
For more efficient organizing, browsing, and retrieving digital video content, it is important to extract video structure information at both scene and shot levels. This paper pre...
WIDM
1999
ACM
14 years 21 hour ago
1999
ACM
In order to provide database-like features for files, particularly for searching in Web data, one solution is to migrate file data into a relational database. Having stored the da...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
Turning the current Web into a Semantic Web requires automatic approaches for annotation of existing data since manual approaches will not scale in general. We here present an app...