In this paper, we study the major modules of on-line handwritten chemical expressions recognition. We propose a novel two-level algorithm to recognize expressions. In the first le...
Jufeng Yang, Guangshun Shi, Kai Wang, Qian Geng, Q...
This paper describes the basic control, navigation, and mapping methods and experiments a hovering autonomous underwater vehicle (AUV) designed to explore flooded cenotes in Mexi...
George Kantor, Nathaniel Fairfield, Dominic Jonak,...
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of Decision Diagrams (DD) for representing the fun...
Sequential place and route tools for FPGAs are inherently weak at addressing both wirability and timing optimizations. This is primarily due to the difficulty in predicting these ...
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...