16 search results - page 4 / 4 » Decidability of inferring inductive invariants |
170
click to vote
ALT
2003
Springer
15 years 9 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...