A theory of formal synthesis via inductive learning
Sign Up to like & getrecommendations! Published in 2017 at "Acta Informatica"
DOI: 10.1007/s00236-017-0294-5
Abstract: Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based on the use of inductive learning. We refer to this… read more here.
Keywords: inductive synthesis; formal synthesis; inductive learning; formal inductive ... See more keywords
Reconstruction of solid models from sketches including curves with inductive learning technique
Sign Up to like & getrecommendations! Published in 2017 at "Computer-aided Design and Applications"
DOI: 10.1080/16864360.2016.1273580
Abstract: ABSTRACTSince decades, many methods have been proposed to automatically reconstruct solid models from their sketches. However, it was difficult for the methods to handle sketches including curved lines such as cylinders. Recent years, the authors… read more here.
Keywords: learning technique; including curves; solid models; models sketches ... See more keywords