11151 search results - page 355 / 2231 » On the Complexity of Model Expansion |
239
click to vote
EGPGV
2004
Springer
16 years 29 days ago
2004
Springer
This paper investigates assignment strategies (load balancing algorithms) for process farms which solve the problem of online placement of a constant number of independent tasks w...
186
click to vote
CVPR
2010
IEEE
16 years 4 months ago
2010
IEEE
The classical optical flow assumes that a feature point maintains constant brightness across the frames. For fluidtype motions such as smoke or clouds, the constant brightness ass...
280
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Atomic Solvation Parameters (ASP) model has been proven to be a very successful method of calculating the binding free energy of protein complexes. This suggests that ...
227
click to vote
COCO
2004
Springer
16 years 29 days ago
2004
Springer
We study the power of quantum proofs, or more precisely, the power of Quantum MerlinArthur (QMA) protocols, in two well studied models of quantum computation: the black box model ...
218
click to vote
ENTCS
2007
15 years 7 months ago
2007
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...