Sciweavers

1129 search results - page 99 / 226
» SAC and neighbourhood SAC
Sort
View
SAC
2003
ACM
15 years 11 months ago
Streaming of DivX AVI Movies
In recent years the MPEG-4 ISO compression standard has gained much attention. With its high compression ratio it promises to make broadbandstreaming more feasible. However, curre...
Roger Zimmermann
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 11 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
SAC
2010
ACM
15 years 11 months ago
Data stream anomaly detection through principal subspace tracking
We consider the problem of anomaly detection in multiple co-evolving data streams. In this paper, we introduce FRAHST (Fast Rank-Adaptive row-Householder Subspace Tracking). It au...
Pedro Henriques dos Santos Teixeira, Ruy Luiz Mili...
SAC
2009
ACM
15 years 11 months ago
Automatic product derivation of multi-agent systems product lines
Multi-agent Systems (MASs) development and Software Product Lines (SPLs) are two consolidated software engineering techniques. Recent research work explores the integration betwee...
Elder Cirilo, Ingrid Nunes, Uirá Kulesza, C...
SAC
2009
ACM
15 years 11 months ago
The device service bus: a solution for embedded device integration through web services
This paper presents a middleware infrastructure for integration of heterogeneous embedded devices in ubiquitous computing environments. The proposed infrastructure employs the Dev...
Gustavo Medeiros Araújo, Frank Siqueira