Sciweavers

22193 search results - page 6 / 4439
» Multiple Restricted Multiplication
Sort
View
WABI
2005
Springer
117views Bioinformatics» more  WABI 2005»
14 years 25 days ago
Faster Algorithms for Optimal Multiple Sequence Alignment Based on Pairwise Comparisons
Multiple Sequence Alignment (MSA) is one of the most fundamental problems in computational molecular biology. The running time of the best known scheme for finding an optimal ali...
Pankaj K. Agarwal, Yonatan Bilu, Rachel Kolodny
MSCS
2007
117views more  MSCS 2007»
13 years 6 months ago
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
Michele Pagani
BMCBI
2005
107views more  BMCBI 2005»
13 years 7 months ago
Identifying differential expression in multiple SAGE libraries: an overdispersed log-linear model approach
Background: In testing for differential gene expression involving multiple serial analysis of gene expression (SAGE) libraries, it is critical to account for both between and with...
Jun Lu, John K. Tomfohr, Thomas B. Kepler
ECOOP
1992
Springer
13 years 11 months ago
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
Svend Frølund
WINE
2010
Springer
109views Economy» more  WINE 2010»
13 years 5 months ago
Strategy-Proof Voting Rules over Multi-issue Domains with Restricted Preferences
In this paper, we characterize strategy-proof voting rules when the set of alternatives has a multi-issue structure, and the voters' preferences are represented by acyclic CP-...
Lirong Xia, Vincent Conitzer