Sciweavers

7311 search results - page 274 / 1463
» Time in State Machines
Sort
View
FSTTCS
2007
Springer
16 years 1 months ago
Synthesis of Safe Message-Passing Systems
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
Nicolas Baudru, Rémi Morin
GECCO
2004
Springer
16 years 20 days ago
Bounding Learning Time in XCS
It has been shown empirically that the XCS classifier system solves typical classification problems in a machine learning competitive way. However, until now, no learning time es...
Martin V. Butz, David E. Goldberg, Pier Luca Lanzi
IJCNN
2006
IEEE
16 years 1 months ago
Reservoir-based techniques for speech recognition
— A solution for the slow convergence of most learning rules for Recurrent Neural Networks (RNN) has been proposed under the terms Liquid State Machines (LSM) and Echo State Netw...
David Verstraeten, Benjamin Schrauwen, Dirk Stroob...
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
16 years 4 hour ago
Kernel regression for travel time estimation via convex optimization
—We develop an algorithm aimed at estimating travel time on segments of a road network using a convex optimization framework. Sampled travel time from probe vehicles are assumed ...
Sebastien Blandin, Laurent El Ghaoui, Alexandre M....
CDC
2009
IEEE
130views Control Systems» more  CDC 2009»
16 years 5 hour ago
Modal and transition dwell time computation in switching systems: a set-theoretic approach
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
Franco Blanchini, Daniele Casagrande, Stefano Mian...