@article {17259,
	title = {Interactively exploring hierarchical clustering results [gene identification]},
	journal = {Computer},
	volume = {35},
	year = {2002},
	month = {2002/07//},
	pages = {80 - 86},
	abstract = {To date, work in microarrays, sequenced genomes and bioinformatics has focused largely on algorithmic methods for processing and manipulating vast biological data sets. Future improvements will likely provide users with guidance in selecting the most appropriate algorithms and metrics for identifying meaningful clusters-interesting patterns in large data sets, such as groups of genes with similar profiles. Hierarchical clustering has been shown to be effective in microarray data analysis for identifying genes with similar profiles and thus possibly with similar functions. Users also need an efficient visualization tool, however, to facilitate pattern extraction from microarray data sets. The Hierarchical Clustering Explorer integrates four interactive features to provide information visualization techniques that allow users to control the processes and interact with the results. Thus, hybrid approaches that combine powerful algorithms with interactive visualization tools will join the strengths of fast processors with the detailed understanding of domain experts},
	keywords = {algorithmic methods, arrays, Bioinformatics, biological data sets, biology computing, Data analysis, data mining, data visualisation, Data visualization, DNA, Fluorescence, gene functions, gene identification, gene profiles, Genetics, Genomics, Hierarchical Clustering Explorer, hierarchical systems, interactive exploration, interactive information visualization tool, interactive systems, Large screen displays, meaningful cluster identification, metrics, microarray data analysis, pattern clustering, pattern extraction, Process control, Sensor arrays, sequenced genomes, Tiles},
	isbn = {0018-9162},
	doi = {10.1109/MC.2002.1016905},
	author = {Seo,Jinwook and Shneiderman, Ben}
}
@conference {12836,
	title = {A theory of testing for real-time},
	booktitle = {, Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS {\textquoteright}91},
	year = {1991},
	month = {1991/07/15/18},
	pages = {110 - 119},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {A framework for generating testing preorders that relate processes on the basis of their timing behavior as well as their degree of relative nondeterminism is developed. The basic concepts of transition systems and testing are reviewed, and timed testing, which takes account of the delay exhibited by a process as it attempts to pass a test, is introduced. The framework is then applied to two different scenarios. In the first, relations are constructed that relate processes on the basis of all timing considerations. In the second, relations are constructed that relate processes on the basis of their relative speeds. In both cases, alternative denotational characterizations of the resulting preorders are presented, and examples are given to illustrate the utility of the approach},
	keywords = {Algebra, Character generation, Computer science, Delay, formal logic, Licenses, nondeterminism, Process control, Protocols, Real time systems, real-time, System testing, testing preorders, testing theory, timed testing, Timing, timing behavior, transition systems},
	isbn = {0-8186-2230-X},
	doi = {10.1109/LICS.1991.151635},
	author = {Cleaveland, Rance and Zwarico,A. E}
}
