Sciweavers

2006 search results - page 125 / 402
» Testing with Respect to Concerns
Sort
View
TIT
2008
107views more  TIT 2008»
13 years 10 months ago
Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
The term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional ...
Igor Zinovik, Daniel Kroening, Yury Chebiryak
IJAR
2002
93views more  IJAR 2002»
13 years 9 months ago
Troubleshooting using probabilistic networks and value of information
We develop a decision-theoretic method that yields approximate, low cost troubleshooting plans by making more relevant observations and devoting more time to generate a plan. The ...
Korhan Gökçay, Taner Bilgiç
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 8 months ago
Scheduling Multi-Mode Real-Time Systems upon Uniform Multiprocessor Platforms
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together wit...
Patrick Meumeu Yomsi, Vincent Nélis, Jo&eum...
INTERSPEECH
2010
13 years 4 months ago
Shape-invariant speech transformation with the phase vocoder
This paper proposes a new phase vocoder based method for shape invariant real-time modification of speech signals. The performance of the method with respect voiced and unvoiced s...
Axel Röbel
JUCS
2010
82views more  JUCS 2010»
13 years 4 months ago
The Separation of Relativized Versions of P and DNP for the Ring of the Reals
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...
Christine Gaßner