4983 search results - page 394 / 997 » order 2008 |
339
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
188
click to vote
RECOMB
2008
Springer
16 years 8 months ago
2008
Springer
Next Generation Sequencing (NGS) technologies are capable of reading millions of short DNA sequences both quickly and cheaply. While these technologies are already being used for r...
201
click to vote
RECOMB
2008
Springer
16 years 8 months ago
2008
Springer
Whole genome comparison based on gene order has become a popular approach in comparative genomics. An important task in this field is the detection of gene clusters, i.e. sets of g...
200
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
277
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...