959 search results - page 99 / 192 » Comparative genome assembly |
114
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
The assembly of components that can handle continuously changing data results in programs that are more interactive. Unfortunately, the code that glues together such components is ...
134
click to vote
CACM
2010
15 years 4 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
150
click to vote
INLG
2010
Springer
15 years 2 months ago
2010
Springer
We present the situated reference generation module of a hybrid human-robot interaction system that collaborates with a human user in assembling target objects from a wooden toy c...
163
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Gene Ontology (GO) is a standard vocabulary of functional terms and allows for coherent annotation of gene products. These annotations provide a basis for new methods ...
137
click to vote
ARGMAS
2005
Springer
15 years 9 months ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...