Sciweavers

5600 search results - page 115 / 1120
» Synthesizing robust systems
Sort
View
ATAL
2007
Springer
14 years 2 months ago
Robust coordination to sustain throughput of an unstable agent network
We present a multi-agent coordination technique to maintain throughput of a large-scale agent network system in the face of failures of agents. Failures do not just deteriorate th...
Rajesh Gautam, Kazuo Miyashita
FROCOS
2007
Springer
14 years 2 months ago
A Temporal Logic of Robustness
Tim French, John Christopher McCabe-Dansted, Mark ...
ICASSP
2011
IEEE
12 years 11 months ago
Detection of synthetic speech for the problem of imposture
In this paper, we present new results from our research into the vulnerability of a speaker verification (SV) system to synthetic speech. We use a HMM-based speech synthesizer, w...
Phillip L. De Leon, Inma Hernáez, Ibon Sara...
ICPR
2002
IEEE
14 years 9 months ago
Tracking Hands and Objects for an Intelligent Video Production System
We propose a novel method for detecting hands and hand-held objects in desktop manipulation situations. In order to achieve robust tracking under few constraints, we use multiple ...
Motoyuki Ozeki, Masatsugu Itoh, Yuichi Nakamura, Y...
CONCUR
1999
Springer
14 years 6 days ago
Robust Satisfaction
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
Orna Kupferman, Moshe Y. Vardi