8196 search results - page 155 / 1640 » Computational Modeling and Complexity Science |
179
click to vote
DNIS
2005
Springer
16 years 12 days ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
155
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
We first consider infinite two-player games on pushdown graphs. In previous work, Cachat, Duparc and Thomas [4] have presented a winning decidable condition that is Σ3-complete ...
159
click to vote
ICIP
1997
IEEE
16 years 8 months ago
1997
IEEE
We develop a new approach to image denoising based on complexity regularization. This technique presents a flexible alternative to the more conventional l2 , l1 , and Besov regula...
188
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
149
click to vote
ASAP
2009
IEEE
16 years 4 months ago
2009
IEEE
—We present a design and implementation of a radix-4 complex division unit with prescaling of the operands. Specifically, we extend the treatment of the residual bound and error...