8636 search results - page 117 / 1728 » How Developers Copy |
TPHOL
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
LREC
2008
14 years 11 months ago
2008
We describe recent work on MedSLT, a medium-vocabulary interlingua-based medical speech translation system, focussing on issues that arise when handling languages of which the gra...
BIB
2007
14 years 10 months ago
2007
The contribution of transposable elements (TEs) to genome structure and evolution as well as their impact on genome sequencing, assembly, annotation and alignment has generated in...
CSCWD
2009
Springer
15 years 4 months ago
2009
Springer
Collaborative design often meets together experts of different domains. Such groups need to share a context but often limited this one is often limited to few elements as common l...
109
click to vote
SGAI
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we demonstrate how a design-based methodology can be used to iteratively produce designs for an information-processing architecture that integrates various intelligen...