57 search results - page 9 / 12 » Integrating Low Level Symmetries into Reachability Analysis |
BMCBI
2006
13 years 7 months ago
2006
Background: Accurate interpretation of data obtained by unsupervised analysis of large scale expression profiling studies is currently frequently performed by visually combining s...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we propose a data-driven approach that extracts prior information for segmentation of the left ventricle in cardiac MR images of transplanted rat hearts. In our app...
AVSS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a generalized extensible framework for automated recognition of swarming activities in video sequences. The trajectory of each individual is produced by the visual trac...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
We have developed an environment, based upon robust, existing, open source software, for tuning applications written using MPI, OpenMP or both. The goal of this effort, which inte...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...