596 search results - page 57 / 120 » Complexity Analysis by Graph Rewriting |
102
click to vote
CIIA
2009
15 years 28 days ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
121
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
—This paper builds a generic modeling framework for analyzing the edge-creation process in dynamic random graphs in which nodes continuously alternate between active and inactive...
COMPGEOM
2009
ACM
15 years 6 months ago
2009
ACM
We describe a new implementation of the well-known incremental algorithm for constructing Delaunay triangulations in any dimension. Our implementation follows the exact computing ...
103
click to vote
WABI
2009
Springer
15 years 6 months ago
2009
Springer
Comparative analysis of biomolecular networks constructed using measurements from different conditions, tissues, and organisms offer a powerful approach to understanding the stru...
101
click to vote
SIBGRAPI
2008
IEEE
15 years 6 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...