scholarly journals Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme

Author(s):  
Stéphane Lescuyer ◽  
Sylvain Conchon
Keyword(s):  
2017 ◽  
Vol 11 (1) ◽  
pp. 1-7 ◽  
Author(s):  
Tanay Chattopadhyay ◽  
Dilip Kumar Gayen

2005 ◽  
Author(s):  
Y. Shoji ◽  
K. Tsukamoto ◽  
S. Komaki

Author(s):  
Abdul Razak Aishah ◽  
Izani Zainal Abidin Mohamad ◽  
Ryoichi Komiya

This article proposes an application of emotion recognizer system in telecommunications entitled voice driven emotion recognizer mobile phone (VDERM). The design implements a voice-to-image conversion scheme through a voice-to-image converter that extracts emotion features in the voice, recognizes them, and selects the corresponding facial expression images from image bank. Since it only requires audio transmission, it can support video communication at a much lower bit rate than the conventional videophone. The first prototype of VDERM system has been implemented into a personal computer. The coder, voice-to-image converter, image database, and system interface are preinstalled in the personal computer. In this article, we present and discuss some evaluations that have been conducted in supporting this proposed prototype. The results have shown that both voice and image are important for people to correctly recognize emotion in telecommunications and the proposed solution can provide an alternative to videophone systems. The future works list some modifications that can be done to the proposed prototype in order to make it more practical for mobile applications.


2013 ◽  
Vol 11 (2) ◽  
pp. 020607-20609 ◽  
Author(s):  
Hanlin Feng Hanlin Feng ◽  
Shilin Xiao Shilin Xiao ◽  
Lilin Yi Lilin Yi ◽  
Zhao Zhou Zhao Zhou ◽  
Jie Shi Jie Shi ◽  
...  

2009 ◽  
pp. 3511-3528
Author(s):  
Aishah Abdul Razak ◽  
Mohamad Izani Zainal Abidin ◽  
Ryoichi Komiya

This article proposes an application of emotion recognizer system in telecommunications entitled voice driven emotion recognizer mobile phone (VDERM). The design implements a voice-to-image conversion scheme through a voice-to-image converter that extracts emotion features in the voice; recognizes them; and selects the corresponding facial expression images from image bank. Since it only requires audio transmission; it can support video communication at a much lower bit rate than the conventional videophone. The first prototype of VDERM system has been implemented into a personal computer. The coder; voice-to-image converter; image database; and system interface are preinstalled in the personal computer. In this article; we present and discuss some evaluations that have been conducted in supporting this proposed prototype. The results have shown that both voice and image are important for people to correctly recognize emotion in telecommunications and the proposed solution can provide an alternative to videophone systems. The future works list some modifications that can be done to the proposed prototype in order to make it more practical for mobile applications.


2018 ◽  
Vol 19 (2) ◽  
pp. 724-729 ◽  
Author(s):  
Meng-Yao Chao ◽  
Jing Chen ◽  
Zhi-Min Hao ◽  
Xiao-Yan Tang ◽  
Lifeng Ding ◽  
...  

1994 ◽  
Vol 54 (3) ◽  
pp. 610-627 ◽  
Author(s):  
Ron Harris

By surveying contemporary sources this article reveals direct evidence for the involvement of the South Sea Company in the passage of the Bubble Act. The dominant position of the Company and of its national debt conversion scheme in the affairs of England in 1720 support the conclusion that the act was in fact a piece of special-interest legislation for the Company. The short-term interest that motivated the enactment, together with the limited legal and economic effects of the act, minimized its significance as a turning point in the long-term development of the English joint-stock company.


Sign in / Sign up

Export Citation Format

Share Document