15792 search results - page 2755 / 3159 » Computational Abstraction Steps |
162
click to vote
ICAISC
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. The support vector machine (SVM) constitutes one of the most successful current learning algorithms with excellent classification accuracy in large real-life problems an...
153
click to vote
ICCS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. For many applications, cache misses are the primary performance bottleneck. Even though much research has been performed on automatically optimizing cache behavior at the...
196
click to vote
ICCS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
180
click to vote
ICCS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
185
click to vote
ICTAC
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...