Sciweavers

5401 search results - page 444 / 1081
» Using Versions in GIS
Sort
View
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
16 years 1 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
DAGM
2009
Springer
16 years 1 months ago
Residual Images Remove Illumination Artifacts!
Real-world image sequences (e.g., recorded for vision-based driver assistance) are typically degraded by various types of noise, changes in lighting, out-of-focus lenses, differin...
Tobi Vaudrey, Reinhard Klette
ERCIMDL
2009
Springer
167views Education» more  ERCIMDL 2009»
16 years 1 months ago
A Compressed Self-indexed Representation of XML Documents
This paper presents a structure we call XML Wavelet Tree (XWT) to represent any XML document in a compressed and self-indexed form. Therefore, any query or procedure that could be ...
Nieves R. Brisaboa, Ana Cerdeira-Pena, Gonzalo Nav...
FSEN
2009
Springer
16 years 1 months ago
A Safe Implementation of Dynamic Overloading in Java-Like Languages
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
Lorenzo Bettini, Sara Capecchi, Betti Venneri
SAICSIT
2009
ACM
16 years 1 months ago
A lightweight methodology to improve web accessibility
This paper introduces a methodology to improve the accessibility of websites with the use of free so-called automatic tools. The methodology has three iterative phases, namely ass...
Mardé Greeff, Paula Kotzé