Sciweavers

5339 search results - page 124 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
99
Voted
ICASSP
2009
IEEE
15 years 7 months ago
Predictive power control and multiple-description coding for wireless sensor networks
We study state estimation via wireless sensor networks over fading channels affected by random packet loss. In the configuration examined, the sensors send their measurements to ...
Jan Østergaard, Daniel E. Quevedo, Anders A...
AVSS
2006
IEEE
15 years 6 months ago
Dynamic Control of Adaptive Mixture-of-Gaussians Background Model
We propose a method for create a background model in non-stationary scenes. Each pixel has a dynamic Gaussian mixture model. Our approach can automatically change the number of Ga...
Atsushi Shimada, Daisaku Arita, Rin-ichiro Taniguc...
81
Voted
ESAW
2004
Springer
15 years 6 months ago
Controlled Experimentation with Agents - Models and Implementations
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
Mathias Röhl, Adelinde Uhrmacher
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 5 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
81
Voted
USENIX
1994
15 years 2 months ago
Application-Controlled File Caching Policies
We considerhowtoimprovetheperformanceof le cachingbyallowinguser-levelcontrolover lecache replacementdecisions. Weusetwo-levelcachemanagement: the kernel allocates physical pages ...
Pei Cao, Edward W. Felten, Kai Li