9989 search results - page 241 / 1998 » A CLP Approach to Modelling Systems |
198
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Hidden Markov models (HMMs) have proven useful in various aspects of speech technology from automatic speech recognition through speech synthesis, speech segmentation and grapheme...
229
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
175
click to vote
ISDO
2000
15 years 8 months ago
2000
The Web is rapidly becoming the platform through which many companies deliver services to businesses and individual customers. E-Services are typically delivered point-to-point; h...
203
click to vote
FGCN
2008
IEEE
16 years 1 months ago
2008
IEEE
In last decade intelligent transportation systems (ITS) and vehicular ad hoc network (VANET) became one of the most active and emerging fields of research. It is expected that thi...
158
click to vote
ISI
2007
Springer
16 years 22 days ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...