Sciweavers

4255 search results - page 426 / 851
» Cover
Sort
View
MEDES
2010
ACM
15 years 1 months ago
UBI-hotspots: sustainable ecosystem infrastructure for real world urban computing research and business
We report a novel deployment of so-called UBI-hotspots in a city center to establish an ecosystem infrastructure for conducting diverse urban computing research and business in au...
Timo Ojala, V. Valkama, Hannu Kukka, Tommi Heikkin...
MMAS
2010
Springer
15 years 1 months ago
Homogenization with Large Spatial Random Potential
We consider the homogenization of parabolic equations with large spatiallydependent potentials modeled as Gaussian random fields. We derive the homogenized equations in the limit ...
Guillaume Bal
SBMF
2010
Springer
164views Formal Methods» more  SBMF 2010»
15 years 1 months ago
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Io...
SMA
2010
ACM
192views Solid Modeling» more  SMA 2010»
15 years 1 months ago
Infinitesimally Robust estimation in general smoothly parametrized models
Abstract The aim of the paper is to give a coherent account of the robustness approach based on shrinking neighborhoods in the case of i.i.d. observations, and add some theoretical...
Matthias Kohl, Peter Ruckdeschel, Helmut Rieder
TIFS
2010
120views more  TIFS 2010»
15 years 1 months ago
Quantitative Structural Steganalysis of Jsteg
Quantitative steganalysis strives to estimate the change rate defined as the relative number of embedding changes introduced by steganography. In this paper, we propose two new cla...
Jan Kodovský, Jessica J. Fridrich