4880 search results - page 191 / 976 » Manuals as Structured Programs |
118
Voted
NAR
2000
15 years 3 months ago
2000
The AMmtDB database (http://bio-www.ba.cnr.it:8000/ srs6/ ) has been updated by collecting the multi-aligned sequences of Chordata mitochondrial genes coding for proteins and tRNA...
328
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
138
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
149
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Radiotherapy planning requires accurate delineations of the critical structures. To avoid manual contouring, atlas-based segmentation can be used to get automatic delineations. How...
150
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...