5330 search results - page 803 / 1066 » The Performability Tool P'ility |
184
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
Domain Analysis for Data Visualization (DADV) is a technique to use when investigating a domain where data visualizations are going to be designed and added to existing software s...
246
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
179
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The ability to dynamically adapt an unstructured grid (or mesh) is a powerful tool for solving computational problems with evolving physical features; however, an efficient parall...
169
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Classification is an important problem in the field of data mining. Construction of good classifiers is computationally intensive and offers plenty of scope for parallelization. D...
204
click to vote
COLT
1999
Springer
15 years 11 months ago
1999
Springer
—Support vector (SV) machines are linear classifiers that use the maximum margin hyperplane in a feature space defined by a kernel function. Until recently, the only bounds on th...