component finite state machines
USING AN ANT COLONY OPTIMIZATION ALGORITHM FOR IMAGE EDGE DETECTION AS A THRESHOLD SEGMENTATION FOR OCR SYSTEM
... Finite state machines are widely applied in the development of digital systems for description of control logic nodes, microprocessors, interface circuits and so ...of finite state ...
10
Test Selection on Extended Finite State Machines with Provable Guarantees
... plex component based systems [14], where early testing of models can alleviate the validation costs of actual sys- tems. Earlier works on model-based regression testing include works by Briand et al. [15,16] using ...
11
Testing from partial finite state machines without harmonised traces
... every state s and input x the behaviour of M when it receives x in state s is specified; otherwise it is ...a component that receives input from other components since this places restrictions on the ...
13
-structures Applied to Finite State Machines
... fuzzy finite state machine, retrievable, separated and connected fuzzy finite state machines and discussed their basic ...fuzzy finite state machiness in terms of primary ...
5
Notes on counting with finite machines
... For context-free grammars, we refer the reader to a recent paper [9], which obtains strong lower bounds on the size of CFG for several specific finite languages. Counting problems for context-free grammars are ...
13
RoutineSense: A Mobile Sensing Framework for the Reconstruction of User Routines
... Modern smartphones are powerful platforms that have be- come part of the everyday life for most people. Thanks to their sensing and computing capabilities, smartphones can unobtrusively identify simple user states (e.g., ...
10
A Control System Retrofit for a Plastic Bag Making Machine
... The above states are modeled using MATLAB ® toolboxes (simulink ® and stateflow ® ). The Stateflow ® is a graphical design and development tool for simulating complex reactive systems based on finite state ...
17
Architectural state-machines
... each state, the goal state of all the objects is initially contentness, this goal is conditioned by the object's success at surveying their environment for signs of visitors and the length of time that they ...
10
Encryptions of Data Streams using Pauli Spin ½ Matrices and Finite State Machine
... on finite state machines and the operation matrix multiplication Secrecy is maintained at three levels, the secret key, the chosen finite state machine, and the Pauli spin ½ ...
5
TESTING WEB BASED APPLICATIONS USING FINITE STATE MACHINES EMPLOYING GENETIC ALGORITHM
... one state could be specified as an initial ...any state q in Q, there is at most one next ...The state transition function for nondeterministic FSMs is defined as which implies that such an FSM can ...
11
The Influence of Context on the Learning of Metrical Stress Systems Using Finite State Machines
... Based on previous results, we expected that more conservative approaches to state- merging would yield better results. This can be seen from the chart of the successes in Figure 6, where the chances of success are ...
20
Gift – An Integrated Development and Training System for Finite State Machine Based Approaches
... One of the great advantages of the remote laboratory concept to our highly- motivated students is the possibility to test their theoretical knowledge in a real life environment at any time, allowing them to manage their ...
16
Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines
... Given that these DFT conditions are satisfied, Ipate and Holcombe (1997) show that Chow’s result extends to behaviours whose specification and implementations are described as stream X-machines, and since the ...
11
Al Dehni, Shadi (2008): Model Transformation For Validation Of Software Design. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... first state will perform certain actions and enter the second state when a specified event occurs and specified conditions are ...of state, the transition is said to fire, it is said to be in the ...
217
Classifying Questions in Question Answering System Using Finite State Machines with a Simple Learning Approach
... ing Finite State Machines (FSM) to classify a set of questions into their relevant ...Vector Machines (Dell Zhang and Wee Sun Lee, 2003; ...
6
An algorithm to generate compliance monitors from regulations
... generating finite state machines (FSMs) from stakeholder rights and obligations that are extracted from policies and ...in state-event and transition ...
10
Medical Device Interoperability With Provable Safety Properties
... In the ICE architecture, the Network Controller provides the MAP communication infrastructure to which medical devices and other hospital information systems are at- tached, the the Supervisor provides an execution ...
309
Bipolar vague finite switchboard state Machines
... In fuzzy set theory, the membership degrees of elements range over the interval [0, 1]. The membership degree expresses the degree of belongingness of elements to a fuzzy set. The membership degree 1 indicates that an ...
10
Bipolar-valued Fuzzy Finite Switchboard State Machines
... fuzzy finite state machine, retrievable, separated and con- nected fuzzy finite state machines and discussed their basic ...fuzzy finite state machines in terms of ...
6
Bridging CNNs, RNNs, and Weighted Finite State Machines
... Each state i has exactly three pos- sible outgoing transitions: a self-loop, which al- lows the pattern to consume a word without mov- ing states, a main path transition to state i + 1 which allows the ...
11