Sciweavers

5624 search results - page 716 / 1125
» On Conditional Covering Problem
Sort
View
130
Voted
ICASSP
2009
IEEE
15 years 9 months ago
Acoustic compensation methods for body transmitted speech conversion
Statistical voice conversion is very effective for enhancing body transmitted speech recorded with Non-Audible Murmur (NAM) microphone. In this method, a probabilistic model to co...
Daisuke Miyamoto, Keigo Nakamura, Tomoki Toda, Hir...
155
Voted
ASPDAC
2006
ACM
125views Hardware» more  ASPDAC 2006»
15 years 8 months ago
Efficient identification of multi-cycle false path
Due to false paths and multi-cycle paths in a circuit, using only topological delay to determine the clock period could be too conservative. In this paper, we address the timing a...
Kai Yang, Kwang-Ting Cheng
CONCUR
2006
Springer
15 years 8 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
ECML
2006
Springer
15 years 8 months ago
An Efficient Approximation to Lookahead in Relational Learners
Abstract. Greedy machine learning algorithms suffer from shortsightedness, potentially returning suboptimal models due to limited exploration of the search space. Greedy search mis...
Jan Struyf, Jesse Davis, C. David Page Jr.
ESAW
2006
Springer
15 years 8 months ago
Competence Checking for the Global E-Service Society Using Games
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
Kostas Stathis, George Lekeas, Christos Kloukinas