Sciweavers

13397 search results - page 356 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 4 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
160
Voted
ICANN
2010
Springer
15 years 5 months ago
Learning Invariant Visual Shape Representations from Physics
3D shape determines an object's physical properties to a large degree. In this article, we introduce an autonomous learning system for categorizing 3D shape of simulated objec...
Mathias Franzius, Heiko Wersing
TROB
2008
210views more  TROB 2008»
15 years 4 months ago
Dynamical System Modulation for Robot Learning via Kinesthetic Demonstrations
We present a system for robust robot skill acquisition from kinesthetic demonstrations. This system allows a robot to learn a simple goal-directed gesture, and correctly reproduce...
Micha Hersch, Florent Guenter, Sylvain Calinon, Au...
DCOSS
2010
Springer
15 years 8 months ago
Data Spider: A Resilient Mobile Basestation Protocol for Efficient Data Collection in Wireless Sensor Networks
Traditional deployments of wireless sensor networks (WSNs) rely on static basestations to collect data. For applications with highly spatio-temporal and dynamic data generation, su...
Onur Soysal, Murat Demirbas
CODES
2007
IEEE
15 years 11 months ago
Power deregulation: eliminating off-chip voltage regulation circuitry from embedded systems
In battery-powered embedded systems, dedicated circuitry is used to convert stored energy into a form that can be directly used by processors. These power regulation devices seek ...
Seunghoon Kim, Robert P. Dick, Russ Joseph