Sciweavers

12438 search results - page 198 / 2488
» The Magic of a Number System
Sort
View
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 11 months ago
Global Stability Analysis of Fluid Flows using Sum-of-Squares
This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid...
Paul Goulart, Sergei Chernyshenko
NFM
2011
209views Formal Methods» more  NFM 2011»
14 years 11 months ago
Formalizing Probabilistic Safety Claims
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
Heber Herencia-Zapana, George Hagen, Anthony Narka...
INTERSPEECH
2010
14 years 11 months ago
Excitation modeling based on waveform interpolation for HMM-based speech synthesis
It is generally known that a well-designed excitation produces high quality signals in hidden Markov model (HMM)-based speech synthesis systems. This paper proposes a novel techni...
June Sig Sung, Doo Hwa Hong, Kyung Hwan Oh, Nam So...
VC
2010
212views more  VC 2010»
14 years 11 months ago
Interactive evolutionary 3D fractal modeling
In this research we present a technique for the automatic generation of 3D art form, which allows designers to get access to large number of 3D shapes that can be altered interact...
Wenjun Pang, K. C. Hui
HICSS
2011
IEEE
190views Biometrics» more  HICSS 2011»
14 years 8 months ago
Validating Cyber Security Requirements: A Case Study
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
Robert K. Abercrombie, Frederick T. Sheldon, Ali M...