582 search results - page 43 / 117 » Event analyzer: a tool for sequential data processing |
108
Voted
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
101
click to vote
ISSTA
2010
ACM
15 years 1 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...
UIST
2006
ACM
15 years 5 months ago
2006
ACM
To disentangle and analyze neural pathways estimated from magnetic resonance imaging data, scientists need an interface to select 3D pathways. Broad adoption of such an interface ...
MICCAI
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. Diffusion Tensor Imaging (DTI) is becoming a routine magnetic resonance technique to study white matter properties and alterations of fiber integrity due to pathology. Th...
102
click to vote
DOA
2001
15 years 1 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...