3145 search results - page 498 / 629 » Algebraic Linear Orderings |
201
click to vote
AI
2005
Springer
15 years 5 months ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
181
click to vote
TCOM
2008
15 years 5 months ago
2008
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...
175
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we propose a new wideband model order reduction method for interconnect circuits by using a novel adaptive sampling and error estimation scheme. We try to address t...
208
click to vote
AISS
2010
15 years 1 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
168
click to vote
SIAMSC
2011
15 years 27 days ago
2011
Position-dependent smoothness-increasing accuracy-conserving (SIAC) filtering is a promising technique not only in improving the order of the numerical solution obtained by a disc...