Index of Conference Proceedings
Author : British Library. Document Supply Centre
Publisher :
Page : 890 pages
File Size : 47,45 MB
Release : 1998
Category : Conference proceedings
ISBN :
Author : British Library. Document Supply Centre
Publisher :
Page : 890 pages
File Size : 47,45 MB
Release : 1998
Category : Conference proceedings
ISBN :
Author : American Society for Engineering Education. Conference
Publisher :
Page : 1000 pages
File Size : 34,87 MB
Release : 1992
Category : Engineering
ISBN :
Author : Benjamin Weyers
Publisher : Springer
Page : 577 pages
File Size : 29,76 MB
Release : 2017-04-24
Category : Computers
ISBN : 3319518380
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.
Author :
Publisher :
Page : 1430 pages
File Size : 42,74 MB
Release : 1991
Category : Government publications
ISBN :
Author :
Publisher :
Page : 332 pages
File Size : 17,5 MB
Release : 1994
Category : FORTH (Computer program language)
ISBN :
Author :
Publisher :
Page : 108 pages
File Size : 33,89 MB
Release : 1992
Category : Corrections
ISBN :
Author :
Publisher :
Page : 354 pages
File Size : 31,97 MB
Release : 1993
Category : Power resources
ISBN :
Author : FOGA
Publisher : Morgan Kaufmann
Page : 345 pages
File Size : 49,49 MB
Release : 2014-11-27
Category : Computers
ISBN : 1483295028
Foundations of Genetic Algorithms 1995 (FOGA 3)
Author : John H. Connolly
Publisher : Springer Science & Business Media
Page : 202 pages
File Size : 17,12 MB
Release : 2012-12-06
Category : Computers
ISBN : 1447120353
Computing, despite the relative brevity of its history, has already evolved into a subject in which a fairly large number of subdisciplines can be identified. Moreover, there has been a noticeable tendency for the different branches of the subject each to develop its own intellectual culture, tradition and momentum. This is not, of course, to suggest that any individ ual subdiscipline has become a watertight compartment or that developments in one branch of the subject have tended to take place in total isolation from developments in other related areas. Nevertheless, it does mean that a deliberate effort is required in order to bring different subdisciplines together in a fruitful and beneficial manner. Artificial Intelligence (AI) and Computer Supported Coopera tive Work (CSCW) jointly constitute a good example of two branches of computing that have emerged separately and given rise to largely distinct research communities and initiatives. On the one hand, the history of AI can be traced back to the 1950s, the term II Artificial Intelligence" being generally attributed to John McCarthy, who first used it in print in 1956. "Computer Supported Cooperative Work", on the other hand, is a term of more recent coinage, having'been devised by Irene Greif and Paul Cashman in 1984.
Author : California Library Association
Publisher :
Page : 96 pages
File Size : 31,73 MB
Release : 1919
Category :
ISBN :