With the development of web technology, multi-modal or multi-view data has surged as a major stream for big data, where each modal/view encodes individual property objects. Often, different modalities are complementary to other. This fact motivated lot research attention on fusing feature spaces comprehensively characterize Most existing state-of-the-arts focused how fuse energy information fro...

In mobile environments, user input and operation via voice are simple and effective. However, the speech recognition performance is highly influenced by ambient noise in the mobile environments, which may cause a significant deterioration of the performance, and there is a strong demand for improvement of the performance. In order to resolve these issues, we conducted research in two directions...

In this paper I will defend the thesis that natural laws are metaphysically necessary, i.e. obtain in every possible world. Metaphysical necessity and possibility are the unrestricted modalities in the semantical interpretation of the modal logic system S5, which I adopt in this paper. I shall defend the following definition of a law of nature: (D 1) L is a natural law if and only if (i) L obta...

The purpose of this article is to present a new theory IPA(σ) for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But in spite of its great expressive power we can show that the proof-theoretic strength of our theory – which is intensional in a meaning to be described below – is characterized by the Feferman-Schütte ordinal Γ0. Our a...

Having a doubtless election in the information technology era requires satisfaction and verification of security properties in electronic voting (e-voting) systems. This paper focuses on verification of authentication-type properties of an e-voting protocol. The well-known FOO92 e-voting protocol is analyzed, as a case study, against the uniqueness and eligibility properties and their satisfact...