Sciweavers

4352 search results - page 524 / 871
» A Representation Theorem and Applications
Sort
View
ER
2003
Springer
86views Database» more  ER 2003»
15 years 12 months ago
An Interpolated Volume Model for Databases
In this paper we present a volume data model amenable to querying volumes in databases. Unlike most existing volume models, which are directed towards specific applications (notab...
Tianqiu Wang, Simone Santini, Amarnath Gupta
ERCIMDL
2003
Springer
165views Education» more  ERCIMDL 2003»
15 years 12 months ago
Automatic Multi-label Subject Indexing in a Multilingual Environment
Abstract. This paper presents an approach to automatically subject index fulltext documents with multiple labels based on binary support vector machines (SVM). The aim was to test ...
Boris Lauser, Andreas Hotho
FOSSACS
2003
Springer
15 years 12 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 12 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
DATE
2010
IEEE
124views Hardware» more  DATE 2010»
15 years 12 months ago
Reuse-aware modulo scheduling for stream processors
—This paper presents reuse-aware modulo scheduling to maximizing stream reuse and improving concurrency for stream-level loops running on stream processors. The novelty lies in t...
Li Wang, Jingling Xue, Xuejun Yang