Sciweavers

697 search results - page 32 / 140
» Diet: New Developments and Recent Results
Sort
View
RT
2000
Springer
15 years 1 months ago
Interactive Rendering with Real-World Illumination
We propose solutions for seamlessly integrating synthetic objects into background photographs at interactive rates. Recently developed image-based methods are used to capture real...
Simon Gibson, Alan Murta
RTSS
1995
IEEE
15 years 1 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
ICASSP
2011
IEEE
14 years 1 months ago
A novel approach using modulation features for multiphone-based speech recognition
Recent advances in coherent and convex demodulation have proven useful for analyzing and modifying the low-frequency envelope structure of speech. This paper reports the applicati...
Pascal Clark, Gregory Sell, Les E. Atlas
ICIP
2003
IEEE
15 years 11 months ago
Unsupervised Bayesian image segmentation using wavelet-domain hidden Markov models
In this paper, we study unsupervised image segmentation using wavelet-domain hidden Markov models (HMMs). We first review recent supervised Bayesian image segmentation algorithms ...
X. Song, G. Fan
AI
2009
Springer
15 years 4 months ago
Exploratory Analysis of Co-Change Graphs for Code Refactoring
Abstract. Version Control Systems (VCS) have always played an essential role for developing reliable software. Recently, many new ways of utilizing the information hidden in VCS ha...
Hassan Khosravi, Recep Colak