Sciweavers

1249 search results - page 183 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
FATES
2004
Springer
15 years 3 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
PPSN
2010
Springer
14 years 10 months ago
Evolving a Single Scalable Controller for an Octopus Arm with a Variable Number of Segments
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...
Brian G. Woolley, Kenneth O. Stanley
BC
2008
58views more  BC 2008»
14 years 12 months ago
Resolving the dynamics of EEG generators by multichannel recordings
The voltage recorded over the cortex (ECoG) or over the scalp (EEG) is generated by currents derived from many sources called "generators". Different patterns and amplit...
Lilach Avitan, Mina Teicher, Moshe Abeles
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 6 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
ECML
2003
Springer
15 years 5 months ago
Could Active Perception Aid Navigation of Partially Observable Grid Worlds?
Due to the unavoidable fact that a robot’s sensors will be limited in some manner, it is entirely possible that it can find itself unable to distinguish between differing state...
Paul A. Crook, Gillian Hayes