6800 search results - page 714 / 1360 » Testing with Functions as Specifications |
163
click to vote
AES
2007
Springer
15 years 7 months ago
2007
Springer
Whilst conventional approach in structural design is based on reliability-calibrated factored design formula, performance-based design customizes a solution to the specific circum...
159
click to vote
ALIFE
2010
15 years 7 months ago
2010
Edgar Codd's 1968 design for a self-replicating cellular automata machine has never been implemented. Partly this is due to its enormous size but we have also identified four...
202
click to vote
BIODATAMINING
2008
15 years 7 months ago
2008
The analysis and interpretation of relationships between biological molecules, networks and concepts is becoming a major bottleneck in systems biology. Very often the pure amount ...
186
click to vote
BMCBI
2008
15 years 7 months ago
2008
Summary: BATS is a user-friendly software for Bayesian Analysis of Time Series microarray experiments based on the novel, truly functional and fully Bayesian approach proposed in ...
181
click to vote
CGF
2010
15 years 7 months ago
2010
We propose a modular framework for robust 3D reconstruction from unorganized, unoriented, noisy, and outlierridden geometric data. We gain robustness and scalability over previous...