Login / Signup
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung.
Christoph Jäschke
Carsten Schmitt
Ulla Herter
Tobias Wich
Jochen Rust
Published in:
MBMV (2010)
Keyphrases
</>
natural language
natural language processing
dependency parsing
penn treebank
parse tree
tree adjoining grammar
dependency trees
broad coverage
real time
machine translation
link grammar
phrase structure
database systems
three dimensional
image processing
learning algorithm
data mining
databases