2467 search results - page 325 / 494 » Finite State Machines |
140
click to vote
IJFCS
2008
15 years 5 months ago
2008
We consider the equivalence problem for labeled Markov chains (LMCs), where each state is labeled with an observation. Two LMCs are equivalent if every finite sequence of observat...
154
click to vote
JCST
2008
15 years 5 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
142
click to vote
JSAC
2008
15 years 5 months ago
2008
We consider a wireless collision channel, shared by a finite number of users who transmit to a common base station. Each user wishes to minimize its average transmission rate (or p...
122
click to vote
SCL
2008
15 years 5 months ago
2008
This paper considers time-varying uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set. This set consists of the initial ...
160
click to vote
TASLP
2008
15 years 5 months ago
2008
The new model reduces the impact of local spectral and temporal variability by estimating a finite set of spectral and temporal warping factors which are applied to speech at the f...