Sciweavers

4806 search results - page 617 / 962
» Interactive uncertainty analysis
Sort
View
EUROMICRO
1996
IEEE
15 years 11 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
CIBCB
2007
IEEE
15 years 10 months ago
Associative Artificial Neural Network for Discovery of Highly Correlated Gene Groups Based on Gene Ontology and Gene Expression
Abstract-- The advance of high-throughput experimental technologies poses continuous challenges to computational data analysis in functional and comparative genomics studies. Gene ...
Ji He, Xinbin Dai, Xuechun Zhao
EXPCS
2007
15 years 10 months ago
EXACT: the experimental algorithmics computational toolkit
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
William E. Hart, Jonathan W. Berry, Robert T. Heap...
GROUP
2007
ACM
15 years 10 months ago
Feedback for guiding reflection on teamwork practices
Effective communication in project teams is important, but not often taught. We explore how feedback might improve teamwork in a controlled experiment where groups interact throug...
Gilly Leshed, Jeffrey T. Hancock, Dan Cosley, Popp...
CIVR
2008
Springer
181views Image Analysis» more  CIVR 2008»
15 years 8 months ago
Supporting video library exploratory search: when storyboards are not enough
Storyboards, a grid layout of thumbnail images as surrogates representing video, have received much attention in video retrieval interfaces and published studies through the years...
Michael G. Christel