14165 search results - page 392 / 2833 » The generalized two-server problem |
134
click to vote
CSB
2005
IEEE
16 years 12 days ago
2005
IEEE
We study the parsimony approach to haplotype inference, which calls for finding a set of haplotypes of minimum cardinality that explains an input set of genotypes. We prove that ...
174
click to vote
MSWIM
2005
ACM
16 years 10 days ago
2005
ACM
This paper addresses a novel linear programming based approach to optimize the choice of the encoding parameters for the MPEG-4 AAC audio codec. Current techniques solve the encod...
142
Voted
ACRI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
165
click to vote
SAT
2004
Springer
16 years 4 days ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
183
click to vote
CIAC
2010
Springer
15 years 10 months ago
2010
Springer
Various forms of multicut problems are of great importance in the area of network design. In general, these problems are intractable. However, several parameters have been identifi...