28888 search results - page 91 / 5778 » Computability and complexity in analysis |
ESCIENCE
2007
IEEE
13 years 12 months ago
2007
IEEE
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...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
CAIP
2007
Springer
14 years 2 months ago
2007
Springer
We present a novel method to detect multimodal regions composed of linear structures and measure the orientations in these regions, i.e. at line X-sings, T-junctions and Y-forks. I...
FSE
2006
Springer
13 years 11 months ago
2006
Springer
In this article we present a detailed analysis of the impact
BMCBI
2008
13 years 8 months ago
2008
Background: Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as k-clique, k-coloring, and subgraph matching h...