Sciweavers

2467 search results - page 129 / 494
» Finite State Machines
Sort
View
SAGA
2007
Springer
16 years 19 days ago
An Exponential Gap Between LasVegas and Deterministic Sweeping Finite Automata
A two-way finite automaton is sweeping if its input head can change direction only on the end-markers. For each n ≥ 2, we exhibit a problem that can be solved by a O(n2 )-state ...
Christos A. Kapoutsis, Richard Královic, To...
ESANN
2000
15 years 7 months ago
Self-Organisation in the SOM with a finite number of possible inputs
Abstract. Given a one dimensional SOM with a monotonically decreasing neighbourhood and an input distribution which is not Lebesque continuous, a set of su cient conditions and a T...
John A. Flanagan
AAAI
1992
15 years 7 months ago
Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning
It is often useful for a robot to construct a spatial representation of its environment from experiments and observations, in other words, to learn a map of its environment by exp...
Thomas Dean, Dana Angluin, Kenneth Basye, Sean P. ...
ICCD
1993
IEEE
124views Hardware» more  ICCD 1993»
15 years 10 months ago
Synthesis of Controllers from Interval Temporal Logic Specification
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
Masahiro Fujita, Shinji Kono
ARCS
2004
Springer
15 years 12 months ago
Extending the MVC Design Pattern towards a Task-Oriented Development Approach for Pervasive Computing Applications
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
Patrick Sauter, Gabriel Vögler, Günther ...