9067 search results - page 595 / 1814 » Adaptive Model Checking |
228
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
A major component of many cloud services is query processing on data stored in the underlying cloud cluster. The traditional techniques for query processing on a cluster are those...
189
click to vote
COMPIMAGE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we analyze the effects of energy normalization in adaptivehierarchy-based energy minimization methods. Adaptive hierarchies provide a nt multi-level abstra...
181
click to vote
TASLP
2010
15 years 1 months ago
2010
Multiple pitch estimation consists of estimating the fundamental frequencies and saliences of pitched sounds over short time frames of an audio signal. This task forms the basis of...
204
click to vote
TVCG
2012
13 years 9 months ago
2012
—This paper develops a novel surface fitting scheme for automatically reconstructing a genus-0 object into a continuous parametric spline surface. A key contribution for making ...
211
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...