4098 search results - page 206 / 820 » Sound mobility models |
149
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
152
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a novel method of enhancing esophageal speech using statistical voice conversion. Esophageal speech is one of the alternative speaking methods for laryngectome...
125
click to vote
LOGCOM
2010
15 years 2 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
146
click to vote
CL
2010
Springer
15 years 4 months ago
2010
Springer
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
131
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...