8298 search results - page 1413 / 1660 » On the Complexity of Numerical Analysis |
183
click to vote
CHES
2010
Springer
15 years 7 months ago
2010
Springer
Implementations of cryptographic algorithms are vulnerable to Side Channel Analysis (SCA). To counteract it, masking schemes are usually involved which randomize key-dependent data...
184
click to vote
DAWAK
2010
Springer
15 years 7 months ago
2010
Springer
Spatial data warehouses (SDW) enable analytical multidimensional queries together with spatial analysis. Mainly, three operations are related to SDW query processing performance: (...
206
click to vote
CIIA
2009
15 years 7 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
214
click to vote
CIMAGING
2009
15 years 7 months ago
2009
We present a new method for multi-object segmentation in a maximum a posteriori estimation framework. Our method is motivated by the observation that neighboring or coupling objec...
181
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we will briefly describe the approaches taken by the Berkeley Cheshire Group for the GikiCLEF task of the QA track. Because the task was intended to model some aspec...