4042 search results - page 688 / 809 » The EXODUS Optimizer Generator |
ALT
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We consider the problem of sequence prediction in a probabilistic setting. Let there be given a class C of stochastic processes (probability measures on the set of one-wa...
CP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
Good data layouts improve cache and TLB performance of object-oriented software, but unfortunately, selecting an optimal data layout a priori is NP-hard. This paper introduces layo...
ICDM
2007
IEEE
13 years 11 months ago
2007
IEEE
An easily implementable mixed-integer algorithm is proposed that generates a nonlinear kernel support vector machine (SVM) classifier with reduced input space features. A single ...
EUROCRYPT
2008
Springer
13 years 11 months ago
2008
Springer
Precise zero knowledge introduced by Micali and Pass (STOC'06) guarantees that the view of any verifier V can be simulated in time closely related to the actual (as opposed t...