Sciweavers

513 search results - page 60 / 103
» Test Construction for Mathematical Functions
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
A sampling-based environment population projection approach for rapid acoustic model adaptation
We propose an environment population projection (EPP) approach for rapid acoustic model adaptation to reduce environment mismatches with limited amounts of adaptation data. This a...
Yu Tsao, Shigeki Matsuda, Shinsuke Sakai, Ryosuke ...
BMCBI
2004
133views more  BMCBI 2004»
13 years 7 months ago
Esub8: A novel tool to predict protein subcellular localizations in eukaryotic organisms
Background: Subcellular localization of a new protein sequence is very important and fruitful for understanding its function. As the number of new genomes has dramatically increas...
Qinghua Cui, Tianzi Jiang, Bing Liu, Songde Ma
ICSE
2000
IEEE-ACM
13 years 11 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
James C. Widmaier
ISSRE
2000
IEEE
14 years 7 days ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
JMIV
2006
72views more  JMIV 2006»
13 years 7 months ago
A Unifying and Rigorous Shape from Shading Method Adapted to Realistic Data and Applications
We propose a new method for the Lambertian Shape From Shading (SFS) problem based on the notion of Crandall-Lions viscosity solution. This method has the advantage of requiring the...
Emmanuel Prados, Fabio Camilli, Olivier D. Faugera...