1585 search results - page 128 / 317 » A framework for computer-aided validation |
129
click to vote
TCBB
2008
15 years 2 months ago
2008
When accounting for structural fluctuations or measurement errors, a single rigid structure may not be sufficient to represent a protein. One approach to solve this problem is to r...
127
click to vote
JSAC
2010
14 years 10 months ago
2010
Abstract--In this paper, we formulate a flow control optimization problem for wireless sensor networks with lifetime constraint and link interference in an asynchronous setting. Ou...
142
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper presents a nonparametric Bayesian extension of nonnegative matrix factorization (NMF) for music signal analysis. Instrument sounds often exhibit non-stationary spectral...
132
Voted
IPMI
2009
Springer
16 years 4 months ago
2009
Springer
The paper presents a novel statistical framework for cortical folding pattern analysis that relies on a rich multivariate descriptor of folding patterns in a region of interest (RO...
95
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—Peer-to-peer (P2P) is becoming a key technology for software development, but still lacks integrated solutions to build trust in the final software, in terms of correctness and...