6660 search results - page 1132 / 1332 » Data Analysis for Query Processing |
110
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
138
click to vote
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
131
click to vote
INFOVIS
1999
IEEE
15 years 7 months ago
1999
IEEE
Interactive selection is a critical component in exploratory visualization, allowing users to isolate subsets of the displayed information for highlighting, deleting, analysis, or...
148
click to vote
USS
2008
15 years 5 months ago
2008
Graphics processors are continuing their trend of vastly outperforming CPUs while becoming more general purpose. The latest generation of graphics processors have introduced the a...
154
click to vote
DILS
2007
Springer
15 years 5 months ago
2007
Springer
The success of mass spectrometry-based proteomics in emerging applications such as biomarker discovery and clinical diagnostics, is predicated substantially on its ability to achie...