28888 search results - page 91 / 5778 » Computability and complexity in analysis |
132
click to vote
ESCIENCE
2007
IEEE
15 years 6 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...
119
click to vote
ESOP
2006
Springer
15 years 6 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...
122
click to vote
CAIP
2007
Springer
15 years 9 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...
100
click to vote
FSE
2006
Springer
15 years 6 months ago
2006
Springer
In this article we present a detailed analysis of the impact
122
click to vote
BMCBI
2008
15 years 3 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...