4924 search results - page 405 / 985 » A Software System for Spatial Data Analysis and Modeling |
363
click to vote
CASES
2011
ACM
14 years 6 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
149
click to vote
BIOINFORMATICS
2007
15 years 6 months ago
2007
We address the problem of using expression data and prior biological knowledge to identify differentially expressed pathways or groups of genes. Following an idea of Ideker et al...
195
click to vote
ICMCS
2010
IEEE
15 years 7 months ago
2010
IEEE
We present an interactive visualization system for the analysis of Gaussian mixture speaker models. The system exhibits the inner workings of the model intuitively by visualizing ...
189
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
171
click to vote
TMI
2002
15 years 6 months ago
2002
The utility of optical tomography as a practical imaging modality has, thus far, been limited by its intrinsically low spatial resolution and quantitative accuracy. Recently, we ha...