interactive  (3 277 Angebote unter 17 200 375 Artikeln)

Die Möglichkeiten des technischen Entwicklungsstandes Anfang des 21. Jahrhunderts schaffen neuen Raum für flexiblere Erzählformen. Die starren Strukturen von Realfilm-Videos können zudem gelockert ...

Keynote.- How Do Developers Meet Users? - Attitudes and Processes in Software Development.- HCI Research.- Validity and Cross-Validity in HCI Publications.- Critical Systems.- Model-Based Engineeri...

The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electron...

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface....

10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow,...

The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.  The papers feature research in the area of logical frameworks and interactive proof assist...

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised ...

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short pa...

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers present...

Coq'Art: The Calculus of Inductive Constructions

My purpose in writing Interactive Video: Algorithms and Technologies is to respond to an increased demand for a complete scienti?c guide that covers concepts, bene?ts, algorithms and interfaces of ...

The present era, oftentimes referred to as the data age, is characterized by an enormous volume of data across various sectors. Similar to how oil has shaped the industrial age in the 19th century,...