852 search results - page 123 / 171 » Using graph parsing for automatic graph drawing |
EUROCAST
2007
Springer
14 years 12 days ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
ISCAS
1999
IEEE
14 years 24 days ago
1999
IEEE
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures wi...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
MM
2009
ACM
14 years 3 months ago
2009
ACM
We propose a novel technique for semi-supervised image annotation which introduces a harmonic regularizer based on the graph Laplacian of the data into the probabilistic semantic ...
WISE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...