Sciweavers

2470 search results - page 255 / 494
» Liveness-Preserving Simulation Relations
Sort
View
IROS
2007
IEEE
93views Robotics» more  IROS 2007»
16 years 12 days ago
Computational sensor networks
— We propose Computational Sensor Networks as a methodology to exploit models of physical phenomena in order to better understand the structure of the sensor network. To do so, i...
Thomas C. Henderson, Christopher A. Sikorski, Edwa...
ISBI
2007
IEEE
16 years 12 days ago
Signal and Anatomical Constraints in Adaptive Filtering of Fmri Data
An adaptive filtering method for fMRI data is presented. The method is related to bilateral filtering, but with a range filter that takes into account local similarities in sig...
Magnus Borga, Joakim Rydell
161
Voted
CONTEXT
2007
Springer
16 years 8 days ago
Activity Systems and Context Working as Core Concepts in Modeling Socio-Technical Systems
Current modeling approaches in the field of learning and work resemble the notion of workflows and hence fall short in describing the situated and socially mediated nature of pract...
Heidrun Allert, Christoph Richter
ECAL
2007
Springer
16 years 8 days ago
Near-Optimal Mobile Robot Recharging with the Rate-Maximizing Forager
We examine the practical problem of a mobile autonomous robot performing a long-duration survey task, during which it must recharge its batteries periodically. We present a scalabl...
Jens Wawerla, Richard T. Vaughan
125
Voted
EPEW
2007
Springer
16 years 8 days ago
A Fixed-Point Algorithm for Closed Queueing Networks
In this paper we propose a new efficient iterative scheme for solving closed queueing networks with phase-type service time distributions. The method is especially efficient and ac...
Ramin Sadre, Boudewijn R. Haverkort, Patrick Reine...