This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
This paper proposes an image compression approach, in which we incorporate primal sketch based learning into the mainstream image compression framework. The key idea of our approa...
This paper reports an improvement to genetic programming (GP) search for the symbolic regression domain, based on an analysis of dissimilarity and mating. GP search is generally di...
Steven Gustafson, Edmund K. Burke, Natalio Krasnog...
This paper presents an empirical task-based user evaluation, which was carried out for the purpose of assessing the subjective QoS of a mobile multimedia web service in a real mult...
An automatic visual inspection system for the Tape Carrier Package (TCP) has been developed. To achieve low cost implementation and high speed inspection, we integrated unique ima...