6941 search results - page 575 / 1389 » Testing as a Certification Approach |
175
click to vote
JSAT
2006
15 years 7 months ago
2006
We give a randomized algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. This algorithm uses the clauseshorte...
154
click to vote
SIAMCO
2008
15 years 7 months ago
2008
We propose an alternative to the classical post-treatment of the homogenization method for shape optimization. Rather than penalize the material density once the optimal composite ...
142
click to vote
SIAMSC
2008
15 years 7 months ago
2008
We consider a norm-preconditioning approach for the solution of discontinuous Galerkin finite element discretizations of second order PDE with non-negative characteristic form. In ...
180
click to vote
JGAA
2007
15 years 7 months ago
2007
In the last decade several algorithms that generate straight-line drawings of general large graphs have been invented. In this paper we investigate some of these methods that are ...
202
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
Trigrams'n'Tags (TnT) is an efficient statistical part-of-speech tagger. Contrary to claims found elsewhere in the literature, we argue that a tagger based on Markov mod...