2393 search results - page 300 / 479 » Fuzzy-UCS: preliminary results |
182
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
The problem of Sorting signed permutations by reversals is a well studied problem in computational biology. The first polynomial time algorithm was presented by Hannenhalli and Pev...
199
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Preliminary to most comparative genomics studies is the annotation of chromosomes as ordered sequences of genes. Unfortunately, different genetic mapping techniques usual...
155
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Gene rearrangements have been used successfully in phylogenetic reconstruction and comparative genomics, but usually under the assumption that all genomes have the same g...
150
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
205
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
A commodity I/O device has no support for virtualization. A VMM can assign such a device to a single guest with direct, fast, but insecure access by the guest's native device...