Sciweavers

623 search results - page 27 / 125
» Declarative Network Verification
Sort
View
BMCBI
2007
101views more  BMCBI 2007»
13 years 8 months ago
Robust detection and verification of linear relationships to generate metabolic networks using estimates of technical errors
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
Frank Kose, Jan Budczies, Matthias Holschneider, O...
ICASSP
2009
IEEE
14 years 3 months ago
A study of pronunciation verification in a speech therapy application
Techniques are presented for detecting phoneme level mispronunciations in utterances obtained from a population of impaired children speakers. The intended application of these ap...
Shou-Chun Yin, Richard Rose, Oscar Saz, Eduardo Ll...
INFOCOM
2008
IEEE
14 years 3 months ago
An Efficient Identity-Based Batch Verification Scheme for Vehicular Sensor Networks
Chenxi Zhang, Rongxing Lu, Xiaodong Lin, Pin-Han H...
ICFEM
2003
Springer
14 years 1 months ago
Compositional Verification of a Switch Fabric from Nortel Networks
Hong Peng, Sofiène Tahar, Yassine Mokhtari