Sciweavers

1241 search results - page 144 / 249
» Path-oriented random testing
Sort
View
113
Voted
ICPR
2008
IEEE
15 years 8 months ago
A probabilistic model for classifying segmented images
In this work we introduce a probabilistic model for classifying segmented images. The proposed classifier is very general and it can deal both with images that were segmented wit...
Liang Wu, Predrag Neskovic, Leon N. Cooper
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
15 years 8 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
126
Voted
CEC
2007
IEEE
15 years 8 months ago
Towards an immune system that solves CSP
—Constraint satisfaction problems (CSPs) widely occur in artificial intelligence. In the last twenty years, many algorithms and heuristics were developed to solve CSP. Recently,...
María-Cristina Riff, Marcos Zú&ntild...
CIBCB
2007
IEEE
15 years 8 months ago
Overestimation for Multiple Sequence Alignment
Abstract— Multiple sequence alignment is an important problem in computational biology. A-star is an algorithm that can be used to find exact alignments. We present a simple mod...
Tristan Cazenave
GLVLSI
2007
IEEE
139views VLSI» more  GLVLSI 2007»
15 years 8 months ago
Synthesis of irregular combinational functions with large don't care sets
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
Valentin Gherman, Hans-Joachim Wunderlich, R. D. M...