6607 search results - page 91 / 1322 » Making TeX Work |
127
click to vote
LATIN
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we describe algorithms for computing the BWT and for building (compressed) indexes in external memory. The innovative feature of our algorithms is that they are light...
114
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
MOBIDE
2009
ACM
15 years 9 months ago
2009
ACM
×Ù ÐØ × Ò Ñ Ö Ò
Ý × ØÙ Ø ÓÒ× Ö Ó Ø Ò
Ù× Ý Ô Ò Ò Ò
× × Û Ö Ù Ð Ò Ú
Ù Ø ÓÒ × Ö ÕÙ Ö ¸ Ø Ý Ö Ó Ø Ò
Ù× Ý ×ÓÖ Ò Þ Ú ...
108
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
We show that delaying fully-expansive proof reconstruction for non-interactive decision procedures can result in a more efficient workflow. In contrast with earlier work, our appr...
MLMI
2005
Springer
15 years 8 months ago
2005
Springer
The network of excellence HUMAINE is currently making a co-ordinated, interdisciplinary effort to develop a consistent view on emotion-oriented computing. This overview paper prop...