Download or read book Program Synthesis written by Sumit Gulwani and published by . This book was released on 2017-07-11 with total page 138 pages. Available in PDF, EPUB and Kindle. Book excerpt: Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of some specification. Since the inception of artificial intelligence in the 1950s, this problem has been considered the holy grail of Computer Science. Despite inherent challenges in the problem such as ambiguity of user intent and a typically enormous search space of programs, the field of program synthesis has developed many different techniques that enable program synthesis in different real-life application domains. It is now used successfully in software engineering, biological discovery, compute-raided education, end-user programming, and data cleaning. In the last decade, several applications of synthesis in the field of programming by examples have been deployed in mass-market industrial products. This monograph is a general overview of the state-of-the-art approaches to program synthesis, its applications, and subfields. It discusses the general principles common to all modern synthesis approaches such as syntactic bias, oracle-guided inductive search, and optimization techniques. We then present a literature review covering the four most common state-of-the-art techniques in program synthesis: enumerative search, constraint solving, stochastic search, and deduction-based programming by examples. It concludes with a brief list of future horizons for the field.

Download or read book 3D User Interfaces written by Doug Bowman and published by Addison-Wesley. This book was released on 2004-07-26 with total page 867 pages. Available in PDF, EPUB and Kindle. Book excerpt: Here’s what three pioneers in computer graphics and human-computer interaction have to say about this book: “What a tour de force—everything one would want—comprehensive, encyclopedic, and authoritative.” — Jim Foley “At last, a book on this important, emerging area. It will be an indispensable reference for the practitioner, researcher, and student interested in 3D user interfaces.” — Andy van Dam “Finally, the book we need to bridge the dream of 3D graphics with the user-centered reality of interface design. A thoughtful and practical guide for researchers and product developers. Thorough review, great examples.” — Ben Shneiderman As 3D technology becomes available for a wide range of applications, its successful deployment will require well-designed user interfaces (UIs). Specifically, software and hardware developers will need to understand the interaction principles and techniques peculiar to a 3D environment. This understanding, of course, builds on usability experience with 2D UIs. But it also involves new and unique challenges and opportunities. Discussing all relevant aspects of interaction, enhanced by instructive examples and guidelines, 3D User Interfaces comprises a single source for the latest theory and practice of 3D UIs. Many people already have seen 3D UIs in computer-aided design, radiation therapy, surgical simulation, data visualization, and virtual-reality entertainment. The next generation of computer games, mobile devices, and desktop applications also will feature 3D interaction. The authors of this book, each at the forefront of research and development in the young and dynamic field of 3D UIs, show how to produce usable 3D applications that deliver on their enormous promise. Coverage includes: The psychology and human factors of various 3D interaction tasks Different approaches for evaluating 3D UIs Results from empirical studies of 3D interaction techniques Principles for choosing appropriate input and output devices for 3D systems Details and tips on implementing common 3D interaction techniques Guidelines for selecting the most effective interaction techniques for common 3D tasks Case studies of 3D UIs in real-world applications To help you keep pace with this fast-evolving field, the book’s Web site, www.3dui.org, will offer information and links to the latest 3D UI research and applications.

Download or read book Distributed User Interfaces written by José A. Gallud and published by Springer Science & Business Media. This book was released on 2011-12-13 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: The recent advances in display technologies and mobile devices is having an important effect on the way users interact with all kinds of devices (computers, mobile devices, laptops, tablets, and so on). These are opening up new possibilities for interaction, including the distribution of the UI (User Interface) amongst different devices, and implies that the UI can be split and composed, moved, copied or cloned among devices running the same or different operating systems. These new ways of manipulating the UI are considered under the emerging topic of Distributed User Interfaces (DUIs). DUIs are concerned with the repartition of one of many elements from one or many user interfaces in order to support one or many users to carry out one or many tasks on one or many domains in one or many contexts of use – each context of use consisting of users, platforms, and environments. The 20 chapters in the book cover between them the state-of-the-art, the foundations, and original applications of DUIs. Case studies are also included, and the book culminates with a review of interesting and novel applications that implement DUIs in different scenarios.