Sciweavers

1234 search results - page 176 / 247
» Organizational Abstractions for Adaptive Systems
Sort
View
VLSISP
2002
123views more  VLSISP 2002»
14 years 11 months ago
Monte Carlo Bayesian Signal Processing for Wireless Communications
Abstract. Many statistical signal processing problems found in wireless communications involves making inference about the transmitted information data based on the received signal...
Xiaodong Wang, Rong Chen, Jun S. Liu
ADMI
2010
Springer
14 years 11 months ago
Real-Time Sensory Pattern Mining for Autonomous Agents
Abstract. Autonomous agents are systems situated in dynamic environments. They pursue goals and satisfy their needs by responding to external events from the environment. In these ...
Pedro Sequeira, Cláudia Antunes
IJSNET
2010
117views more  IJSNET 2010»
14 years 6 months ago
Reaction-diffusion based autonomous control of wireless sensor networks
Abstract: Taking into account requirements of sensor networks, we need fully-distributed and selforganising control mechanisms which are scalable to the size of a network, robust t...
Katsuya Hyodo, Naoki Wakamiya, Etsushi Nakaguchi, ...
ECCV
2006
Springer
16 years 1 months ago
Covariant Derivatives and Vision
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...
Todor Georgiev
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 13 days ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert