Sciweavers

10 search results - page 2 / 2
» Diagnosis as Semiring-Based Constraint Optimization
Sort
View
ETS
2009
IEEE
117views Hardware» more  ETS 2009»
13 years 3 months ago
A Two Phase Approach for Minimal Diagnostic Test Set Generation
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...
Mohammed Ashfaq Shukoor, Vishwani D. Agrawal
LPNMR
2005
Springer
13 years 11 months ago
Abduction and Preferences in Linguistics
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
Kathrin Konczak, Ralf Vogel
ITC
2002
IEEE
81views Hardware» more  ITC 2002»
13 years 11 months ago
Design Rewiring Using ATPG
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
Andreas G. Veneris, Magdy S. Abadir, Mandana Amiri
ISBI
2008
IEEE
14 years 6 months ago
Spatially constrained segmentation of dermoscopy images
Dermoscopy is a technique used to better visualize pigmented skin lesion and aid the clinician in determining if a lesion is benign or malignant. Automated segmentation of dermosc...
Howard Zhou, Mei Chen, Le Zou, Richard Gass, Laura...
CP
1998
Springer
13 years 10 months ago
Error-Correcting Source Code
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho