2713 search results - page 160 / 543 » Parameterized Tree Systems |
133
Voted
GBRPR
2007
Springer
15 years 10 months ago
2007
Springer
Many medical applications require a registration of different images of the same organ. In many cases, such a registration is accomplished by manually placing landmarks in the ima...
145
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...
138
Voted
CAV
2003
Springer
15 years 9 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
138
Voted
EUROGP
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we introduce a new grammar guided genetic programming system called tree-adjoining grammar guided genetic programming (TAG3P+), where tree-adjoining grammars (TAGs) ...
131
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Nowadays, the rapid advances in wireless communications, positioning techniques and mobile devices enable location based service such as dynamic traffic navigation. Yet, it is a ch...