Sciweavers

6059 search results - page 240 / 1212
» A Technique for Verifying Measurements
Sort
View
IJCSA
2007
84views more  IJCSA 2007»
15 years 6 months ago
Real Time Model Checking Using Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
Wiktor B. Daszczuk
AIR
2004
106views more  AIR 2004»
15 years 6 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti
CVIU
2004
131views more  CVIU 2004»
15 years 6 months ago
Part-level object recognition using superquadrics
This paper proposes a technique for object recognition using superquadric built models. Superquadrics, which are three-dimensional models suitable for part-level representation of...
Jaka Krivic, Franc Solina
MVA
1998
140views Computer Vision» more  MVA 1998»
15 years 6 months ago
Improved Disparity Estimation by Matching with an Adaptive Window
A novel technique for disparity estimation based on block matching with a local adaptive window is introduced in this paper. In the proposed approach the size and shape of the ref...
Ebroul Izquierdo
EUROMED
2010
15 years 4 months ago
Digital Image Processing in Weathering Damage Analysis and Recovery Treatments Monitoring
Abstract. Scientists and conservators, involved in cultural heritage documentation management, have to furnish not only qualitative but also quantitative description of the assessm...
Fulvio Zezza