Learn More
Replanted Calligonum caput-medusae saplings in the Tarim River watershed face short-term and frequent herbivory by goats, which can result in either growth inhibition or stimulation. The effects of herbivory on shrub saplings are unclear. We simulated herbivory with clipping to test two hypotheses. We hypothesized that (1) moderate herbivory may positively(More)
A PowerPoint © (PPT) slide presentation and a whiteboard handwriting capture system, when used together, could provide a better means to present a lecture in a classroom and later to deliver more effective e-lectures for off-campus students. When the PPT slides are projected on the whiteboard where the instructor annotates, modifies, or expands the PPT(More)
Multimedia materials from classrooms and seminars are rich sources of information. Our Virtualized Classroom Project, which is a testbed for integrating novel multimedia software systems, addresses fundamental research problems occurring in different components of a next-generation, processing-enhanced e-learning system. Our ultimate goal is to create a(More)
This paper describes a multimodal surveillance system for human signature detection. The system consists of three types of sensors: infrared (IR) cameras, pan/tilt/zoom (PTZ) color cameras and laser Doppler vibrometers (LDVs). The LDV is explored as a new non-contact remote voice detector. We have found that voice energy vibrates most objects and the(More)
Laser Doppler vibrometers (LDVs) have been widely used in industry inspection. One of the superior characteristics of an LDV is that it can detect and measure extremely tiny vibration of a target at a large distance, with sensitivity on the order of 1µm/s. On the other hand, we have found that most objects nearby audio sources can be vibrated by the audio(More)
— Inspired by the success of model checking in hardware verification and protocol analysis, there has been growing interest in research and development of tools for the automated verification of software. This paper provides an overview of our efforts towards achieving precise and scalable verification of embedded software in a model checking-based(More)