16 search results - page 4 / 4 » Decidability of inferring inductive invariants |
ALT
2003
Springer
14 years 2 months ago
2003
Springer
Due to the rapid growth of tree structured data such as Web documents, efficient learning from tree structured data becomes more and more important. In order to represent structura...