Loop-free synthesis of finite state machines by Zeiger, Howard Paul

Get full text

Model reduction through an Hankel problem and finite state machines by Jameson, Neal Ward, 1978-

Get full text

A finite state machine framework for robust analysis and control of hybrid systems by Tarraf, Danielle C. (Danielle Charles), 1974-

Get full text

Dancing cheek to cheek : haptic communication between partner dancers and swing as a finite state machine by Gentry, Sommer Elizabeth

Get full text

A new framework for multi-partition finite state machine low power design based on genetic algorithm by Masoumidezfouli, Seyedhossein

“…Given that most of these devices use digital controllers implemented as finite-state machines (FSMs), the reduction of an FSM's power consumption is essential. …”
Get full text

Redefining histograms of oriented gradients descriptors for handling occlusion in people detection by Sani, Ahmad

“…Support vector machines (SVM) were used to classify the extracted parts and a finite-state machine was employed for handling the detected parts. …”
Get full text

Redefining histograms of oriented gradients descriptors for handling occlusion in people detection by Sani, Ahmad

“…Support vector machines (SVM) were used to classify the extracted parts and a finite- state machine was employed for handling the detected parts. …”
Get full text

Web services choreography testing using semantic service description by Mohd. Rusli, Hazlifah

“…This thesis finally proposed a new testing model called the Choreography to Finite State Machine (C2FSM) to support the service selection of an automatic web service composition. …”
Get full text

Design of interfaces for workstations operating in a high speed fiber optic network by Neo, David Lian Kong

“…Emphasis is given 10 the specification and design of the system whereby object-oriented and Finite State Machine techniques were adopted. The PC adapter implements the hardware conforming to the FDDI standard for a Single Attachment Station on the IBM PC's and compatibles. …”
Get full text

Mechanistic Interpretability for Progress Towards Quantitative AI Safety by Lad, Vedang K.

“…By transforming an RNN into a finite state machine and applying symbolic regression, MIPS successfully addresses 32 out of 62 algorithmic tasks, outperforming GPT-4 in 13 unique challenges. …”
Get full text

Following recipes with a cooking robot by Bollini, Mario Attilio

Get full text

Chaotification Methods For Enhancing One-Dimension Digital Chaotic Maps For Applications In Cryptography by Alawida, Moatsum Khalif Oduh

“…To take advantage of the first two proposed methods, the third method is proposed based on a one-dimensional chaotic map and deterministic finite state machine under the control of bitwise permutations. …”
Get full text

Chaotification Methods For Enhancing One-Dimension Digital Chaotic Maps For Applications In Cryptography by Alawida, Moatsum Khalif Oduh

“…To take advantage of the first two proposed methods, the third method is proposed based on a one-dimensional chaotic map and deterministic finite state machine under the control of bitwise permutations. …”
Get full text

Functional test generation using micro operation fault model by Ong, Hui Yien

“…The methodology involves conversion of behavioral model of design under test into extended finite state machine. This is followed by micro operation fault detection, fault activation and fault propagation with all the corresponding constraint sequences captured and converted into constraint model using SystemVerilog, a hardware description language. …”
Get full text

Reducing domestic energy consumption through behaviour modification by Ford, R

“…</p> <p>Three sets of features including the short term time domain, time dependent finite state machine behaviour and time of day are identified by monitoring step changes in the power consumption of the home. …”

Safe and certified reinforcement learning with logical constraints by Hasanbeig, MH

“…We convert the given property into a Limit Deterministic Buchi Automaton (LDBA), namely a finite-state machine expressing the property. Further, by exploiting the structure of the LDBA, we shape a synchronous reward function on-the-fly, and we discuss the assumptions under which RL is guaranteed to synthesise control policies whose traces satisfy the LTL specification with maximum probability possible. …”

Method of Event Reconstruction in Digital Investigation and its Visualization by Abdullah, Mohd. Taufik

“…Some previous works only represent the functionality of the system under investigation as Finite State Machine (FSM). In the proposed method, the functionality of the system under investigation is represented as FSM whereby witness statement is represented as regular expression. …”
Get full text

A modified computational model of ant colony system in DNA sequence design by Mustaza, Seri Mastura

“…The problem is modeled using finite state machine where each node represents the DNA bases {A, C, T, G}. …”
Get full text

A study of open payment fare systems : system design, fare engine algorithm and GTFS extension by Wang, Yin, Ph. D. Massachusetts Institute of Technology

Get full text

Codes correcting bursts of deletions/insertions and tandem duplications by Nguyen, Tuan Thanh

“…Our encoding/decoding algorithms are based on enumerative coding, finite-state machine, and algebraic number theory. While these techniques are standard in constrained coding and combinatorics literature, our contribution is a detailed analysis of the space and time complexities of the respective algorithms.…”
Get full text
Get full text