5550 search results - page 937 / 1110 » Different Approaches to Proof Systems |
172
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
213
click to vote
ACML
2009
Springer
16 years 1 months ago
2009
Springer
Real-world face recognition systems are sometimes confronted with degraded face images, e.g., low-resolution, blurred, and noisy ones. Traditional two-step methods have limited per...
154
click to vote
CBSE
2009
Springer
16 years 1 months ago
2009
Springer
Management of extra-functional properties in component models is one of the main challenges in the component-based software engineering community. Still, the starting point in thei...
192
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Data Integration is a data integration approach that proactively incorporates and utilizes metadata across the data integration process. By decoupling data and metada...
198
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Spatial relations play important role in computer vision, scene analysis, geographic information systems (GIS) and content based image retrieval. Analyzing spatial relations by Fo...