Sciweavers

1819 search results - page 232 / 364
» Performance Evaluation of Demodulation Methods: a Combinator...
Sort
View
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
15 years 10 months ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
136
Voted
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 10 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ICIP
1997
IEEE
15 years 8 months ago
Adaptive Partitionings for Fractal Image Compression
In fractal image compression a partitioning of the image into ranges is required. In our previous work [1] we have proposed to find good partitionings by means of a split-andmerg...
Matthias Ruhl, Hannes Hartenstein, Dietmar Saupe
157
Voted
FTDCS
2004
IEEE
15 years 8 months ago
Exploiting Semantic Proximity in Peer-to-Peer Content Searching
A lot of recent work has dealt with improving performance of content searching in peer-to-peer file sharing systems. In this paper we attack this problem by modifying the overlay ...
Spyros Voulgaris, Anne-Marie Kermarrec, Laurent Ma...
ASWC
2008
Springer
15 years 6 months ago
SAOR: Authoritative Reasoning for the Web
Abstract. In this paper we discuss the challenges of performing reasoning on large scale RDF datasets from the Web. We discuss issues and practical solutions relating to reasoning ...
Aidan Hogan, Andreas Harth, Axel Polleres