Sciweavers

10802 search results - page 322 / 2161
» Generative and developmental systems
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
TCIAIG
2010
15 years 1 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
ICASSP
2011
IEEE
14 years 10 months ago
Utilizing glottal source pulse library for generating improved excitation signal for HMM-based speech synthesis
This paper describes a source modeling method for hidden Markov model (HMM) based speech synthesis for improved naturalness. A speech corpus is rst decomposed into the glottal sou...
Tuomo Raitio, Antti Suni, Hannu Pulakka, Martti Va...
ISQED
2011
IEEE
230views Hardware» more  ISQED 2011»
14 years 10 months ago
Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimizatio
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
Chia-Wei Chang, Hong-Zu Chou, Kai-Hui Chang, Jie-H...
MMM
2012
Springer
324views Multimedia» more  MMM 2012»
14 years 2 months ago
Sensor-Based Analysis of User Generated Video for Multi-camera Video Remixing
In this work we propose to exploit context sensor data for analyzing user generated videos. Firstly, we perform a low-level indexing of the recorded media with the instantaneous co...
Francesco Cricri, Igor D. D. Curcio, Sujeet Mate, ...