1511 search results - page 217 / 303 » Hierarchical Graph Transformation |
167
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses concept lattices and some of their applications in component library development and compiler optimizations. Ongoing work on concept-based userextensible simp...
129
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Bit-true simulation veri es the nite word length choices in the VLSI implementation of a DSP application. Present-day bit-true simulation tools are time consuming. We elaborate a ...
152
click to vote
VLSID
1996
IEEE
15 years 10 months ago
1996
IEEE
Existing systolic architectures for the LMS algorithm with delayed coeficient adaptation have large adaptation delay and hence degraded convergence behaviour. This paper presents ...
155
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
141
click to vote
NAACL
2003
15 years 7 months ago
2003
We describe a simple unsupervised technique for learning morphology by identifying hubs in an automaton. For our purposes, a hub is a node in a graph with in-degree greater than o...