Sciweavers

2351 search results - page 65 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
BMCBI
2006
169views more  BMCBI 2006»
14 years 10 months ago
Comparative analysis of haplotype association mapping algorithms
Background: Finding the genetic causes of quantitative traits is a complex and difficult task. Classical methods for mapping quantitative trail loci (QTL) in miceuse an F2 cross b...
Phillip McClurg, Mathew T. Pletcher, Tim Wiltshire...
FM
2006
Springer
142views Formal Methods» more  FM 2006»
15 years 1 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
SPEECH
2010
142views more  SPEECH 2010»
14 years 8 months ago
Analysis of statistical parametric and unit selection speech synthesis systems applied to emotional speech
We have applied two state-of-the-art speech synthesis techniques (unit selection and HMM-based synthesis) to the synthesis of emotional speech. A series of carefully designed perc...
Roberto Barra-Chicote, Junichi Yamagishi, Simon Ki...
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 4 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
AAAI
2007
15 years 5 days ago
Recognition of Hand Drawn Chemical Diagrams
Chemists often use hand-drawn structural diagrams to capture and communicate ideas about organic compounds. However, the software available today for specifying these structures t...
Tom Y. Ouyang, Randall Davis