In the proposed computer assisted visual interactive recognition (CAVIAR) methodology, a parameterized geometrical model serves as the human-computer communication channel. The iterative CAVIAR process is modelled as a finite state machine. A flower recognition system is implemented based on the proposed methodology. Evaluation on 30 subjects shows that 1) the accuracy of the CAVIAR system is 9...

The state assignment for a finite state machine greatly affects the delay, area, and testabilities of the sequential circuits. In order to reduce the length and number of feedback cycles, a new state assignment technique based on m-block partition is introduced in this paper. After the completion of proposed state assignment and logic synthesis, partial scan design is performed to choose minima...

We develop a new mechanism to detect and respond to miscommunications in human-robot dialogs, distinguishing between computer misunderstandings vs. human inexperience. Problem indicators drive an error/help state machine, which augments the dialog state and is used in tailoring response generation. A user study shows that the task success rate and user satisfaction is improved substantially by ...

We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theory of Mazurkiewicz traces. We investigate the question whether channel bound conditions are decidable for a given communicating finite-state machine.

In this project, I aim to design and experiment with a controller for quadruped walking gait in a physics based simulation. A simplified and articulated dog model was designed with realistic dimensions. The controller is based on a finite state machine, where each state represents a target pose in the gait cycle. A simple balancing strategy was implemented.