Sciweavers

5829 search results - page 405 / 1166
» The Practice of Cluster Analysis
Sort
View
ERSHOV
1999
Springer
15 years 11 months ago
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
Niels H. Christensen, Robert Glück, Sø...
CAV
2007
Springer
114views Hardware» more  CAV 2007»
15 years 11 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
FM
2008
Springer
148views Formal Methods» more  FM 2008»
15 years 8 months ago
Precise Interval Analysis vs. Parity Games
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
Thomas Gawlitza, Helmut Seidl
ICGA
1997
89views Optimization» more  ICGA 1997»
15 years 8 months ago
A Wave Analysis of the Subset Sum Problem
This paper introduces the wave model, a novel approach on analyzing the behavior of GAs. Our aim is to give techniques that have practical relevance and provide tools for improvin...
Márk Jelasity
ECCV
2010
Springer
15 years 8 months ago
Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
Christoph H. Lampert, Oliver Krömer