Sciweavers

5251 search results - page 713 / 1051
» A Framework for Ontology Integration
Sort
View
WOA
2000
15 years 9 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
NIPS
1992
15 years 8 months ago
Some Solutions to the Missing Feature Problem in Vision
In visual processing the ability to deal with missing and noisy information is crucial. Occlusions and unreliable feature detectors often lead to situations where little or no dir...
Subutai Ahmad, Volker Tresp
ECCV
2010
Springer
15 years 8 months ago
Self-Adapting Feature Layers
Abstract. This paper presents a new approach for fitting a 3D morphable model to images of faces, using self-adapting feature layers (SAFL). The algorithm integrates feature detect...
AIIDE
2009
15 years 8 months ago
Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
Steven P. Cash, R. Michael Young
DAGM
2010
Springer
15 years 8 months ago
Exploiting Redundancy for Aerial Image Fusion Using Convex Optimization
Abstract. Image fusion in high-resolution aerial imagery poses a challenging problem due to fine details and complex textures. In particular, color image fusion by using virtual or...
Stefan Kluckner, Thomas Pock, Horst Bischof