Sciweavers

2367 search results - page 97 / 474
» An experimental analysis of self-adjusting computation
Sort
View
EMSOFT
2008
Springer
15 years 1 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
ICPR
2010
IEEE
15 years 1 days ago
A Statistical Learning Approach to Spatial Context Exploitation for Semantic Image Analysis
In this paper, a statistical learning approach to spatial context exploitation for semantic image analysis is presented. The proposed method constitutes an extension of the key pa...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...
CVPR
2004
IEEE
16 years 1 months ago
Probabilistic Expression Analysis on Manifolds
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
Ya Chang, Changbo Hu, Matthew Turk
ECCV
2008
Springer
16 years 1 months ago
Unified Frequency Domain Analysis of Lightfield Cameras
Abstract. This paper presents a theory that encompasses both "plenoptic" (microlens based) and "heterodyning" (mask based) cameras in a single frequency-domain ...
Todor Georgiev, Chintan Intwala, Sevkit Babakan, A...
ECCV
2008
Springer
16 years 1 months ago
Real-Time Shape Analysis of a Human Body in Clothing Using Time-Series Part-Labeled Volumes
We propose a real-time method for simultaneously refining the reconstructed volume of a human body with loose-fitting clothing and identifying body-parts in it. Time-series volumes...
Norimichi Ukita, Ryosuke Tsuji, Masatsugu Kidode