8780 search results - page 219 / 1756 » On the Feasibility of Consistent Computations |
168
click to vote
FPL
1997
Springer
15 years 11 months ago
1997
Springer
: The paper first proposes requirements for an ideal platform for codesign research. A new board developed at Imperial College, the Riley-2, is shown to meet these requirements. It...
211
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
174
click to vote
NIPS
2007
15 years 8 months ago
2007
We study the relation between notions of game-theoretic equilibria which are based on stability under a set of deviations, and empirical equilibria which are reached by rational p...
166
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Ubiquitylation plays an important role in regulating protein functions. Recently, experimental methods were developed toward effective identification of ubiquitylation...
193
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
We propose a sinogram restoration method which consists of a patch-wise non-linear processing, based on a sparsity prior in terms of a learned dictionary. An off-line learning pro...