156 search results - page 18 / 32 » Hierarchical Chunk-to-String Translation |
107
click to vote
DATE
2000
IEEE
15 years 6 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...
136
click to vote
ISORC
1999
IEEE
15 years 6 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...
123
Voted
EMNLP
2011
14 years 1 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...
121
Voted
TSE
2008
15 years 1 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...
107
Voted
SSIAI
2000
IEEE
15 years 6 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...