Sciweavers

SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
12 years 2 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
HICSS
2011
IEEE
185views Biometrics» more  HICSS 2011»
13 years 4 months ago
The Impact of Stimuli Characteristics on the Ideation Process: An Evaluation of the Change of Perspective 'Analogy'
Idea generation techniques provide a variety of approaches for supporting an innovation process. Until recently, the space of techniques has been unstructured, and no clear guidel...
Stefan Werner Knoll, Graham Horton
AROBOTS
1999
110views more  AROBOTS 1999»
14 years 3 days ago
Self-Localization of Autonomous Robots by Hidden Representations
We present a framework for constructing representations of space in an autonomous agent which does not obtain any direct information about its location. Instead the algorithm relie...
J. Michael Herrmann, Klaus Pawelzik, Theo Geisel