Sciweavers

1458 search results - page 152 / 292
» Monads for incremental computing
Sort
View
146
Voted
SOFSEM
2010
Springer
16 years 14 days ago
Continuous Processing of Preference Queries in Data Streams
Preference queries have received considerable attention in the recent past, due to their use in selecting the most preferred objects, especially when the selection criteria are con...
Maria Kontaki, Apostolos N. Papadopoulos, Yannis M...
CVPR
2010
IEEE
15 years 11 months ago
Dynamic and Scalable Large Scale Image Reconstruction
Recent approaches to reconstructing city-sized areas from large image collections usually process them all at once and only produce disconnected descriptions of image subsets, whi...
Christoph Strecha, Timo Pylvanainen, Pascal Fua
DCC
2010
IEEE
15 years 10 months ago
Lossless Compression Based on the Sequence Memoizer
In this work we describe a sequence compression method based on combining a Bayesian nonparametric sequence model with entropy encoding. The model, a hierarchy of Pitman-Yor proce...
Jan Gasthaus, Frank Wood, Yee Whye Teh
131
Voted
AINA
2009
IEEE
15 years 10 months ago
A Dynamic Size Distributed Program Image Cache for Wireless Sensor Networks
— Reprogramming node software over-the-air is an essential requirement in many wireless sensor network applications due to the inaccessibility of the deployed sensor nodes. Trans...
Joshua Ellul, Kirk Martinez, David De Roure
120
Voted
HYBRID
2009
Springer
15 years 10 months ago
Decompositional Construction of Lyapunov Functions for Hybrid Systems
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
Jens Oehlerking, Oliver E. Theel