3958 search results - page 112 / 792 » Dynamic Graph Algorithms with Applications |
106
Voted
IJCAI
2003
15 years 6 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
238
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
Existing graph mining algorithms typically assume that databases are relatively static and can fit into the main memory. Mining of subgraphs in a dynamic environment is currently ...
153
Voted
CGF
2008
15 years 5 months ago
2008
The evolution of dependencies in information hierarchies can be modeled by sequences of compound digraphs with edge weights. In this paper we present a novel approach to visualize...
137
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Stream processing applications such as image signal processing demand high throughput. However, customers increasingly demand runtime flexibility in their designs, which cannot b...
142
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...