7978 search results - page 415 / 1596 » Combining shared-coin algorithms |
198
click to vote
DCC
2002
IEEE
16 years 6 months ago
2002
IEEE
A novel method for the compression of angiogram video sequences is presented. The approach is based on the idea that not all of an angiogram image will de diagnostically significa...
187
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Complex signal processing algorithms are often specified in floating point precision. Thus, a type conversion is needed when the targeted platform requires fixed-point precis...
203
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
One of the main challenges with selective search extensions is designing effective move categories (features). This is a manual trial and error task, which requires both intuition...
171
Voted
DOLAP
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we investigate the problem of answering top-k queries via materialized views. We provide theoretical guarantees for the adequacy of a view to answer a top-k query, ...
108
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...