Parameterized image varieties: a novel approach to the analysis and synthesis of image sequences

2002 ◽  
Author(s):  
Y. Genc ◽  
J. Ponce
Keyword(s):  
Image Sequences ◽  
Novel Approach ◽  
Analysis And Synthesis

scholarly journals Directed Reachability for Infinite-State Systems

2021 ◽  
pp. 3-23
Author(s):  
Michael Blondin ◽  
Christoph Haase ◽  
Philip Offtermatt
Keyword(s):  
Petri Nets ◽  
Program Analysis ◽  
Infinite Graphs ◽  
Reachability Problem ◽  
Graph Exploration ◽  
Concurrent Program ◽  
Domain Specific ◽  
Novel Approach ◽  
Distance Oracles ◽  
Analysis And Synthesis

AbstractNumerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary time, which raises questions about the practical applicability of Petri nets as target models. In this paper, we introduce a novel approach for efficiently semi-deciding the reachability problem for Petri nets in practice. Our key insight is that computationally lightweight over-approximations of Petri nets can be used as distance oracles in classical graph exploration algorithms such as $$\mathsf {A}^{*}$$ A ∗ and greedy best-first search. We provide and evaluate a prototype implementation of our approach that outperforms existing state-of-the-art tools, sometimes by orders of magnitude, and which is also competitive with domain-specific tools on benchmarks coming from program synthesis and concurrent program analysis.

A novel approach for enhancing very dark image sequences

2014 ◽  
Vol 103 ◽  
pp. 309-330 ◽  
Author(s):  
Qing Xu ◽  
Hailin Jiang ◽  
Riccardo Scopigno ◽  
Mateu Sbert
Keyword(s):  
Image Sequences ◽  
Novel Approach

scholarly journals A NOVEL APPROACH TO STUTTERED SPEECH CORRECTION

2016 ◽  
Vol 9 (2) ◽  
pp. 80 ◽  
Author(s):  
Alim Sabur Ajibola ◽  
Nahrul Khair Bin Alang Md. Rashid ◽  
Wahju Sediono ◽  
Nik Nur Wahidah Nik Hashim
Keyword(s):  
Mean Square Error ◽  
Likelihood Ratio ◽  
Mean Square ◽  
Novel Approach ◽  
Three Samples ◽  
Reconstruction Quality ◽  
Analysis And Synthesis ◽  
Original Speech ◽  
Speech Reconstruction ◽  
Speech Correction

Stuttered speech is a dysfluency rich speech, more prevalent in males than females. It has been associated with insufficient air pressure or poor articulation, even though the root causes are more complex. The primary features include prolonged speech and repetitive speech, while some of its secondary features include, anxiety, fear, and shame. This study used LPC analysis and synthesis algorithms to reconstruct the stuttered speech. The results were evaluated using cepstral distance, Itakura-Saito distance, mean square error, and likelihood ratio. These measures implied perfect speech reconstruction quality. ASR was used for further testing, and the results showed that all the reconstructed speech samples were perfectly recognized while only three samples of the original speech were perfectly recognized.

Sign in / Sign up

Export Citation Format

Share Document