Sciweavers

451 search results - page 19 / 91
» Complexity of Data Flow Analysis for Non-Separable Framework...
Sort
View
ICFP
1997
ACM
14 years 2 months ago
Strongly Typed Flow-Directed Representation Transformations
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...
Allyn Dimock, Robert Muller, Franklyn A. Turbak, J...
IPMI
2001
Springer
14 years 11 months ago
3D Vascular Segmentation Using MRA Statistics and Velocity Field Information in PC-MRA
Abstract. This paper presents a new and integrated approach to automatic 3D brain vessel segmentation using physics-based statistical models of background and vascular signals, and...
Albert C. S. Chung, J. Alison Noble, Paul E. Summe...
ESCIENCE
2007
IEEE
14 years 2 months ago
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
Ping Yang, Zijiang Yang, Shiyong Lu
KDD
2007
ACM
154views Data Mining» more  KDD 2007»
14 years 10 months ago
An event-based framework for characterizing the evolutionary behavior of interaction graphs
Interaction graphs are ubiquitous in many fields such as bioinformatics, sociology and physical sciences. There have been many studies in the literature targeted at studying and m...
Sitaram Asur, Srinivasan Parthasarathy, Duygu Ucar
KDD
1997
ACM
143views Data Mining» more  KDD 1997»
14 years 2 months ago
Anytime Exploratory Data Analysis for Massive Data Sets
Exploratory data analysis is inherently an iterative, interactive endeavor. In the context of massive data sets, however, many current data analysis algorithms will not scale appr...
Padhraic Smyth, David Wolpert