156 search results - page 18 / 32 » Hierarchical Chunk-to-String Translation |
DATE
2000
IEEE
15 years 1 months ago
2000
IEEE
Higher levels of integration, the need for test re-use, and the mixed-signal nature of today’s SOC’s necessitate hierarchical test generation and system level test composition...
101
Voted
ISORC
1999
IEEE
15 years 1 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
EMNLP
2011
13 years 9 months ago
2011
State of the art Tree Structures Prediction techniques rely on bottom-up decoding. These approaches allow the use of context-free features and bottom-up features. We discuss the l...
TSE
2008
14 years 9 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
SSIAI
2000
IEEE
15 years 1 months ago
2000
IEEE
We proposed an intensity-based morphological pyramid image registration algorithm. This approach utilizes the global affine transformation model, also considering radiometric chan...