Information extraction from structured documents using k-testable tree automaton inference
Data & Knowledge Engineering
On the relationship between lexical semantics and syntax for the inference of context-free grammars
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Automated assume-guarantee reasoning for simulation conformance
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
| Hi-index | 0.00 |