This thesis focuses on the problem of object tracking. Given a video, the general objective of tracking is to track the location over time of one or more targets in the image sequence. This is a very challenging task as algorithms need to deal with problems such as appearance variations,...
The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
When type inference fails, it is often difficult to pinpoint the cause of the type error among many potential candidates. Generating informative messages to remove the type error is another difficult task due to the limited availability of type information. Over the last three decades many approaches have been developed...
State-owned forestland in P.R. China has long been an important source of natural resources for communities. The Chinese government has undertaken several conservation initiatives with the intent to restore degraded landscapes and conserve biodiversity, while simultaneously improving the quality of life for rural people. Using Yaze Village, Pingwu County, Sichuan...
The purpose of this research was to determine whether
student academic achievement in college computer science
programs in the Republic of China (ROC) could be predicted
by factors reported to be effective in US studies. The
relationship between these factors and course performance in
computer science programs was examined. Gender...
Algorithms for analyzing laser interferometry
signals were developed and adopted to the computer based
processing of small displacement measurements. These
methods, matrix operation approach and fixed parameters
approach, are based on signal phase calculation and are
able to replace complex fringe counting electronic
circuits. The matrix operation provides an approach...
The discovery of new antibiotics reached its peak during the golden era of antibiotics in the mid 20th century and continued to thrive until the 1980s. However, after more than 50 years of fruitful exploration and exploitation of microbial natural products the discovery rate of new antibiotics has dropped drastically...
Hypotheses of phylogenetic and historical zoogeographic relationships of glyptocephalines (Glyptocephalus cynoglossus, G. zachirus, G. stelleri, Microstomus kitt, H. pacificus, H. achne,
Embassichthys bathybius, and Tanakius kitaharae) were constructed based on comparative anatomy and external morphology. The phylogenetic approach was cladistic and character polarity was
determined by using out-group comparison. One...
This ethnographic research examines socioeconomic vulnerabilities to resettlement from a large hydropower dam and agricultural commodification in a Tibetan village in Yunnan Province, Southwest China. After providing an initial background on the dynamics of the research region and hydrodevelopment on its rivers, the research framework of examining vulnerability through a...
Through the use of conditional compilation and related tools, many software projects can be used to generate a huge
number of related programs. The problem of typing such variational software is difficult. The brute-force strategy
of generating all variants and typing each one individually is (1) usually infeasible for efficiency...