Sciweavers

3053 search results - page 32 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
ESWS
2008
Springer
15 years 3 months ago
An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
Matthias Bräuer, Henrik Lochmann
QEST
2010
IEEE
14 years 11 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
ICPR
2008
IEEE
15 years 8 months ago
Calibration of a structured light system by observing planar object from unknown viewpoints
— A calibration method for a structured light system by observing a planar object from unknown viewpoints is proposed. A structured light system captures a 3D shape by a camera t...
Koichiro Yamauchi, Hideo Saito, Yukio Sato
CVPR
2006
IEEE
16 years 3 months ago
Robust Visual Tracking Using Case-Based Reasoning with Confidence
The paper describes a simple but robust framework for visual object tracking in a video sequence. Compared with the existing tracking techniques, our proposed tracking technique h...
Zhiwei Zhu, Wenhui Liao, Qiang Ji
ICPR
2000
IEEE
15 years 5 months ago
3-D Structures for Generic Object Recognition
We discuss the issues and challenges of generic object recognition. We argue that high-level, volumetric part-based descriptions are essential in the process of recognizing object...
Gérard G. Medioni, Alexandre R. J. Fran&cce...