2152 search results - page 92 / 431 » A Comparative Study of 2QBF Algorithms |
157
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
117
click to vote
FOCS
1998
IEEE
15 years 8 months ago
1998
IEEE
We study jitter control in networks with guaranteed quality of service (QoS) from the competitive analysis point of view: we propose on-line algorithms that control jitter and comp...
158
click to vote
WD
2010
15 years 1 months ago
2010
The use of topological features, more specifically, the importance of an element related to its structural position is a subject widely studied. For instance, complex networks theo...
143
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
Although propositional satisfiability (SAT) is NP-complete, state-of-the-art SAT solvers are able to solve large, practical instances. The concept of backdoors has been introduced...
140
Voted
COCOA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Multiple sequence alignment (MSA) is one of the most basic and central tasks for many studies in modern biology. In this paper, we present a new progressive alignment alg...