3799 search results - page 558 / 760 » An Engineering Approach to Formal Methods |
184
click to vote
JMLR
2010
15 years 1 months ago
2010
A successful class of image denoising methods is based on Bayesian approaches working in wavelet representations. The performance of these methods improves when relations among th...
164
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
155
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We developed a binarization approach to handle a large variety of images, from scanned flatbed images to images acquired by mobile phone cameras. The binarization is targeted at c...
180
click to vote
ESWS
2007
Springer
16 years 22 days ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
166
click to vote
ISCAS
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— This paper proposes a novel threshold control approach for creating multi-scroll chaotic attractors. The general jerk circuit is used as an example to show the working ...