Sciweavers

2026 search results - page 353 / 406
» Tools for Test Case Generation
Sort
View
INFOVIS
2003
IEEE
15 years 9 months ago
Interactive Hierarchical Dimension Ordering, Spacing and Filtering for Exploration of High Dimensional Datasets
Large numbers of dimensions not only cause clutter in multidimensional visualizations, but also make it difficult for users to navigate the data space. Effective dimension manage...
Jing Yang, Wei Peng, Matthew O. Ward, Elke A. Rund...
TPHOL
2003
IEEE
15 years 9 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
GECCO
2003
Springer
127views Optimization» more  GECCO 2003»
15 years 9 months ago
Complex Function Sets Improve Symbolic Discriminant Analysis of Microarray Data
Abstract. Our ability to simultaneously measure the expression levels of thousands of genes in biological samples is providing important new opportunities for improving the diagnos...
David M. Reif, Bill C. White, Nancy Olsen, Thomas ...
DEXAW
2002
IEEE
145views Database» more  DEXAW 2002»
15 years 9 months ago
An Architecture for Collaboratively Assembled Moderated Information Bearing Web Sites
As originally conceived, the World Wide Web was intended for the purpose of sharing information. Many websites realise this aim by publishing pages from a data repository which su...
Richard Cooper
INFOCOM
2002
IEEE
15 years 9 months ago
Travelling Miser Problem
— Various monitoring and performance evaluation tools generate considerable amount of low priority traffic. This information is not always needed in real time, and thus could of...
Yuval Shavitt, David Breitgand, Danny Raz