Sciweavers

932 search results - page 68 / 187
» SQUALE - Software QUALity Enhancement
Sort
View
DATE
2009
IEEE
127views Hardware» more  DATE 2009»
14 years 3 months ago
Sequential logic synthesis using symbolic bi-decomposition
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
Victor N. Kravets, Alan Mishchenko
ICIP
2007
IEEE
14 years 3 months ago
Incorporating Primal Sketch Based Learning Into Low Bit-Rate Image Compression
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...
Yang Li, Xiaoyan Sun, Hongkai Xiong, Feng Wu
CEC
2005
IEEE
14 years 2 months ago
On improving genetic programming for symbolic regression
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...
IWQOS
2005
Springer
14 years 2 months ago
Case Study in Assessing Subjective QoS of a Mobile Multimedia Web Service in a Real Multi-access Network
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...
Tiia Sutinen, Timo Ojala
MVA
1996
181views Computer Vision» more  MVA 1996»
13 years 10 months ago
Automatic Visual Inspection System for Tape Carrier Package Using Unique Image Processing and Human Visual Support
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...
Eiji Takahashi, Hirohumi Terada, Yoshiro Nishimoto...