Sciweavers

3702 search results - page 281 / 741
» Reducing Misclassification Costs
Sort
View
PPAM
2007
Springer
16 years 22 days ago
A Block-Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation
We present a parallel algorithm for solving the 4D Vlasov equation. Our algorithm is designed for distributed memory architectures. It uses an adaptive numerical method which reduc...
Olivier Hoenen, Eric Violard
SARA
2007
Springer
16 years 22 days ago
Reformulating Constraint Satisfaction Problems to Improve Scalability
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in . Abstraction and reformulation techni...
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Ch...
SAS
2007
Springer
111views Formal Methods» more  SAS 2007»
16 years 22 days ago
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
Ben Hardekopf, Calvin Lin
SEMWEB
2007
Springer
16 years 22 days ago
A Caching Mechanism for Semantic Web Service Discovery
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
Michael Stollberg, Martin Hepp, Jörg Hoffmann
VLDB
2007
ACM
129views Database» more  VLDB 2007»
16 years 22 days ago
Anytime Measures for Top-k Algorithms
Top-k queries on large multi-attribute data sets are fundamental operations in information retrieval and ranking applications. In this paper, we initiate research on the anytime b...
Benjamin Arai, Gautam Das, Dimitrios Gunopulos, Ni...