7167 search results - page 69 / 1434 » A Technique for Invariant Generation |
160
click to vote
ISSTA
2006
ACM
16 years 3 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
156
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
140
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose a novel fast inverse halftoning technique using a combination of spatial varying filtering and spatial invariant filtering. The proposed algorithm is significantly simp...
163
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
232
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Color is a powerful visual cue for many computer vision
applications such as image segmentation and object recognition.
However, most of the existing color models depend on the i...