6941 search results - page 937 / 1389 » Testing as a Certification Approach |
177
click to vote
DAM
2008
15 years 7 months ago
2008
We investigate the Semidefinite Programming based Sums of squares (SOS) decomposition method, designed for global optimization of polynomials, in the context of the (Maximum) Sati...
188
click to vote
AAI
2006
15 years 7 months ago
2006
Extensive experimental evidence is required to study the impact of text categorization approaches on real data and to assess the performance within operational scenarios. In this ...
172
click to vote
ASE
2006
15 years 7 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
188
click to vote
BMCBI
2007
15 years 7 months ago
2007
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
181
click to vote
CAD
2007
Springer
15 years 7 months ago
2007
Springer
The swept volume of a moving solid is a powerful computational and visualization concept. It provides an excellent aid for path and accessibility planning in robotics and for simu...