Lines Matching full:synthesis

849 …keywords =     "applications of computers; computers; control system synthesis; electrical enginee…
3853   title =        "Toward Automatic Program Synthesis",
3864 …elementary outline of the theorem-proving approach to automatic program synthesis is given, withou…
3869 …artificial; artificial intelligence; automata theory; automatic program synthesis; CACMA; computer…
7213 …r science; foundations; numerical mathematics; numerical methods; reviews; synthesis and analysis",
10747 … =     "computer science; curriculum; education; fuzzy educational structure; imprecise synthesis",
12537 … memory of the character generator to synthesize an arbitrary line. The synthesis process does not…
12625   title =        "The Synthesis of Loop Predicates",
12645 …tion; program verifiers; programming theory; property extraction; synthesis; synthesis of loop pre…
15562 …classcodes =   "C1230 (Artificial intelligence); C1310 (Control system analysis and synthesis meth…
15895   title =        "The Synthesis of Solids Bounded by Many Faces",
15906 …a class of solid objects to be synthesized and stored using a computer. Synthesis begins with prim…
15912 …puter graphics; computer-aided design; image processing; many faced solids; simulation; synthesis",
18641   title =        "Synthesis of Decision Rules",
21398 …eration of arbitrary shaped three-dimensional surfaces. The method is a synthesis of spline theory…
21400 …eration of arbitrary shaped three-dimensional surfaces. The method is a synthesis of spline theory…