1888 search results - page 284 / 378 » Proof theory and computational analysis |
104
click to vote
IANDC
2007
14 years 11 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
107
click to vote
IPL
2010
14 years 10 months ago
2010
In the Max Lin-2 problem we are given a system S of m linear equations in n variables over F2 in which Equation j is assigned a positive integral weight wj for each j. We wish to ...
112
click to vote
STOC
2009
ACM
16 years 15 days ago
2009
ACM
Linear programming decoding for low-density parity check codes (and related domains such as compressed sensing) has received increased attention over recent years because of its p...
110
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Normal mode analysis (NMA) has become the method of choice to investigate the slowest motions in macromolecular systems. NMA is especially useful for large biomolecula...
117
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
We consider the problem of clustering Web image search results. Generally, the image search results returned by an image search engine contain multiple topics. Organizing the resu...