5924 search results - page 77 / 1185 » Normal Process Representatives |
85
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
In the process of music content creation, a wide range of typical audio effects such as reverberation, equalization or dynamic compression are very commonly used. Despite the fact...
94
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
110
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper we present a new method of signal processing for robust speech recognition using two microphones. The method, loosely based on the human binaural hearing system, con...
97
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
105
click to vote
ENTCS
2008
15 years 20 days ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...