7121 search results - page 261 / 1425 » Functions as Session-Typed Processes |
144
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Monaural speech segregation in reverberant environments is a very difficult problem. We develop a supervised learning approach by proposing an objective function that directly rel...
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
154
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper presents an energy back-propagation algorithm (EBP). Learning and convergence processes of the standard backpropagation algorithm (SBP) are based on the energy funct...
183
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we propose a novel technique to localize planar obstacles through the measurement of the Direction of Arrival by a microphone array. The measurement of the Direction...
182
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...