884 search results - page 117 / 177 » Linear-Input Subset Analysis |
131
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
114
click to vote
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
146
click to vote
STOC
2010
ACM
15 years 8 months ago
2010
ACM
The Steiner tree problem is one of the most fundamental ÆÈ-hard problems: given a weighted undirected graph and a subset of terminal nodes, find a minimum weight tree spanning ...
154
click to vote
VISUALIZATION
1996
IEEE
1996
IEEE
Flexible Information Visualization of Multivariate Data from Biological Sequence Similarity Searches
15 years 7 months ago
Information visualization faces challenges presented by the need to represent abstract data and the relationships within the data. Previously, we presented a system for visualizin...
164
click to vote
CSB
2004
IEEE
15 years 6 months ago
2004
IEEE
Gene expression profiles with clinical outcome data enable monitoring of disease progression and prediction of patient survival at the molecular level. We present a new computatio...