BTW
2015
Springer
8 years 3 months ago
2015
Springer
: The goal of this paper is to increase the computation speed of MapReduce jobs by reducing the accuracy of the result. Often, the timely processing is more important than the prec...
BTW
2015
Springer
8 years 3 months ago
2015
Springer
Abstract: Skyline queries and the more general concept of preferences are wellknown in the database community and there are many academic approaches for the computation of the best...
BTW
2015
Springer
8 years 3 months ago
2015
Springer
Abstract: Im Information Retrieval (IR) wird die Anwendung spaltenorientierter Datenbankmanagementsysteme (DBMS) diskutiert, um u.a. durch die Trennung von Datenhaltung und Suchlog...
BTW
2015
Springer
8 years 3 months ago
2015
Springer
: At the present day the world wide web is full of music. Highly effective algorithms for music compression and high data storage has made it easy to access all kind of music easil...
BTW
2015
Springer
8 years 3 months ago
2015
Springer
BTW
2015
Springer
8 years 3 months ago
2015
Springer
: The management and handling of big data is a major challenge in the area of life science. Beside the data storage, information retrieval methods have to be adapted to huge data a...
RP
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. A usual way to find positive invariant sets of ordinary differential equations is to restrict the search to predefined finitely generated shapes, such as linear templ...
RP
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. Ensuring the correctness of critical real-time systems, involving concurrent behaviors and timing requirements, is crucial. Parameter synthesis aims at computing dense se...
RP
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. We study pushdown vector addition systems, which are synchronized products of pushdown automata with vector addition systems. The question of the boundedness of the reach...
RP
2015
Springer
8 years 3 months ago
2015
Springer
For any left-linear context-sensitive term rewrite system and any regular language of ground terms I, we build a finite tree automaton that recognizes a superset of the descendant...