11321 search results - page 216 / 2265 » Improvements to Turing's method |
146
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe a method referred to as sequence counting to improve on the levels of compaction achievable by vector omission based static compaction procedures. Such procedures are ...
181
click to vote
ICIAP
1999
ACM
15 years 11 months ago
1999
ACM
Using the Jensen-Shannon divergence of grey level histograms obtained by sliding a double window over an image, an edge-detector is presented. A new technique for linking unconnec...
205
click to vote
ICSM
1998
IEEE
15 years 11 months ago
1998
IEEE
Visual impact analysis is a software visualisation technique that lets software maintainers judge the impact of proposed changes and plan maintenance accordingly. An existing CASE...
175
click to vote
TABLEAUX
1999
Springer
15 years 11 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
160
click to vote
ISSAC
1989
Springer
15 years 10 months ago
1989
Springer
: We present a modification of the Goldwasser-Kilian-Atkin primality test, which, when given an input n, outputs either prime or composite, along with a certificate of correctnes...