Sciweavers

936 search results - page 136 / 188
» FSM-Hume is finite state
Sort
View
AMC
1999
102views more  AMC 1999»
13 years 9 months ago
Analysis and approximation of optimal control problems for first-order elliptic systems in three dimensions
We examine analytical and numerical aspects of optimal control problems for firstorder elliptic systems in three dimensions. The particular setting we use is that of divcurl syste...
Max Gunzburger, Hyung-Chun Lee
FMSD
1998
60views more  FMSD 1998»
13 years 9 months ago
The General Product Machine: a New Model for Symbolic FSM Traversal
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Pa...
COMBINATORICS
1999
93views more  COMBINATORICS 1999»
13 years 9 months ago
Induced Complete h-partite Graphs in Dense Clique-less Graphs
It is proven that for every fixed h, a and b, a graph with n vertices and minimum degree at least h-1 h n, which contains no copy of Kb (the complete graph with b vertices), conta...
Eldar Fischer
JIFS
2002
60views more  JIFS 2002»
13 years 9 months ago
Turing's analysis of computation and artificial neural networks
A novel way to simulate Turing Machines (TMs) by Artificial Neural Networks (ANNs) is proposed. We claim that the proposed simulation is in agreement with the correct interpretatio...
Wilson Rosa de Oliveira, Marcílio Carlos Pe...
ORL
2002
106views more  ORL 2002»
13 years 9 months ago
An M/G/1 queue with Markov-dependent exceptional service times
This paper considers an M/G/1 queue in which service time distributions in each busy period change according to a finite state Markov chain, embedded at the arrival instants of cu...
Tomoyuki Kodera, Masakiyo Miyazawa