959 search results - page 99 / 192 » Comparative genome assembly |
ECOOP
2006
Springer
15 years 4 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 ...
CACM
2010
15 years 23 days 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,...
112
Voted
INLG
2010
Springer
14 years 10 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...
129
click to vote
BMCBI
2006
15 years 21 days 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 ...
109
Voted
ARGMAS
2005
Springer
15 years 6 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...