CSL
2007
Springer
13 years 9 months ago
2007
Springer
Hidden Markov Models (HMMs) are the most commonly used acoustic model for speech recognition. In HMMs, the probability of successive observations is assumed independent given the ...
CSL
2007
Springer
13 years 9 months ago
2007
Springer
In this paper, we consider the topic of iterative, one dimensional, signal reconstruction (specifically speech signals) from the magnitude spectrum and the phase spectrum. While ...
CSL
2007
Springer
13 years 9 months ago
2007
Springer
Humans are able to recognise a word before its acoustic realisation is complete. This in contrast to conventional automatic speech recognition (ASR) systems, which compute the lik...
CL
2007
Springer
13 years 9 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
CL
2007
Springer
13 years 9 months ago
2007
Springer
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
IA
2006
13 years 9 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
GIS
2006
ACM
13 years 9 months ago
2006
ACM
GIS
2006
ACM
13 years 9 months ago
2006
ACM
GIS
2006
ACM
13 years 9 months ago
2006
ACM
In this paper, we present an algorithm that performs simplification of large geographical maps through a novel use of graphics hardware. Given a map as a collection of non-interse...
GIS
2006
ACM
13 years 9 months ago
2006
ACM
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...