5630 search results - page 229 / 1126 » Computability in Specification |
135
click to vote
ISMB
1997
15 years 7 months ago
1997
This workdemonstrates newtechniques developed for the prediction of protein folding class in the context of the most comprehensiveStructural Classification of Proteins (SCOP). The...
128
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
234
click to vote
CGF
2005
15 years 6 months ago
2005
Deformable models are a powerful tool in both computer graphics and computer vision. The description and implementation of the deformations have to be simultaneously flexible and ...
167
click to vote
ALIFE
2004
15 years 6 months ago
2004
We evolved multiple clones of populations of digital organisms to study the effects of chance, history, and adaptation in evolution. We show that clones adapted to a specific envir...
169
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...