Sciweavers

2242 search results - page 203 / 449
» From testing to anti-product development
Sort
View
MJ
2007
132views more  MJ 2007»
15 years 6 months ago
Mechanism and thermal effect of delamination in light-emitting diode packages
In this paper we report on the mechanism of delamination in light-emitting diode (LED) packages and its effects on thermal characteristics of LEDs. The LED samples were subjected ...
Jianzheng Hu, Lianqiao Yang, Moo Whan Shin
MICS
2008
129views more  MICS 2008»
15 years 6 months ago
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
Josef Urban, Geoff Sutcliffe
ACL
2010
15 years 4 months ago
Automatic Evaluation of Linguistic Quality in Multi-Document Summarization
To date, few attempts have been made to develop and validate methods for automatic evaluation of linguistic quality in text summarization. We present the first systematic assessme...
Emily Pitler, Annie Louis, Ani Nenkova
EMNLP
2010
15 years 4 months ago
Two Decades of Unsupervised POS Induction: How Far Have We Come?
Part-of-speech (POS) induction is one of the most popular tasks in research on unsupervised NLP. Many different methods have been proposed, yet comparisons are difficult to make s...
Christos Christodoulopoulos, Sharon Goldwater, Mar...
TCSV
2010
15 years 1 months ago
Wireless Video Quality Assessment: A Study of Subjective Scores and Objective Algorithms
Evaluating the perceptual quality of video is of tremendous importance in the design and optimization of wireless video processing and transmission systems. In an endeavor to emula...
Anush K. Moorthy, Kalpana Seshadrinathan, Rajiv So...