Sciweavers

2670 search results - page 16 / 534
» Modeling systems with internal state using evolino
Sort
View
ICANN
2009
Springer
15 years 2 months ago
An EM Based Training Algorithm for Recurrent Neural Networks
Recurrent neural networks serve as black-box models for nonlinear dynamical systems identification and time series prediction. Training of recurrent networks typically minimizes t...
Jan Unkelbach, Yi Sun, Jürgen Schmidhuber
FOSSACS
2003
Springer
15 years 2 months ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen
VL
2003
IEEE
155views Visual Languages» more  VL 2003»
15 years 2 months ago
A human-centric tool for component design and reuse in the UML
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
Ella E. Roubtsova, Serguei A. Roubtsov
68
Voted
HAPTICS
2003
IEEE
15 years 2 months ago
The Haptic Probe: Mechanized Haptic Exploration and Automated Modeling
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...
Volkan Patoglu, R. Brent Gillespie
FIW
2009
163views Communications» more  FIW 2009»
14 years 7 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...