309 search results - page 59 / 62 » A quantitative approach to functional debugging |
BMCBI
2007
15 years 17 days ago
2007
Background: Protein motions play an essential role in catalysis and protein-ligand interactions, but are difficult to observe directly. A substantial fraction of protein motions i...
TASLP
2010
14 years 10 months ago
2010
—This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our ...
TSE
2011
14 years 7 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
93
Voted
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
102
Voted
MM
2009
ACM
15 years 7 months ago
2009
ACM
Web image search is inspired by text search techniques; it mainly relies on indexing textual data that surround the image file. But retrieval results are often noisy and image pro...