This project presents the development of a voice-controlled robotic subsystem that responds to spoken commands using on-device machine learning. The subsystem was designed to recognize simple voice ...

Abstract: The connectomics and morphology of nerves are essential to basic neuroscience since the neuron system is crucial in the human body. To reconstruct the morphological structure of nerve cells, ...

Abstract: Assertion-based verification (ABV) is a key approach to checking whether a logic design complies with its architectural specifications. Existing assertion generation methods based on design ...