Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Interactive Systems. Design, Specification, and Verification
  • Language: en
  • Pages: 432

Interactive Systems. Design, Specification, and Verification

  • Type: Book
  • -
  • Published: 2003-12-15
  • -
  • Publisher: Springer

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages.

Entertainment Computing – ICEC 2020
  • Language: en
  • Pages: 471

Entertainment Computing – ICEC 2020

This book constitutes the refereed proceedings of the 19th IFIP TC 14 International Conference on Entertainment Computing, ICEC 2020, which was supposed to take place in Xi’an, China, in November 2020, but it was instead held virtually due to the COVID-19 pandemic. The 21 full papers and 18 short papers presented were carefully reviewed and selected from 72 submissions. They cover a large range of topics in the following thematic areas: games; virtual reality and augmented reality; artificial intelligence; edutainment and art; 3D modeling; and animation.

UML Modeling Languages and Applications
  • Language: en
  • Pages: 306

UML Modeling Languages and Applications

This book constitutes the thoroughly refereed joint postproceedings of the satellite activities held at the 7th International Conference on the Unified Modeling Language, UML 2004, in Lisbon, Portugal in October 2004 complementing the main conference track. The book presents reports on the 10 workshops held at UML and covers a broad range of topics around systems modelling; these reports are compiled by the respective workshop organizers. Furthermore 12 revised reviewed papers from the industry track are included as well as 11 short papers corresponding to selected poster/demo presentations and a summary on the UML tools exhibition.

Human-Computer Interaction – INTERACT 2005
  • Language: en
  • Pages: 1186

Human-Computer Interaction – INTERACT 2005

We will be, sooner or later, not only handling personal computers but also mul- purpose cellular phones, complex personal digital assistants, devices that will be context-aware, and even wearable computers stitched to our clothes...we would like these personal systems to become transparent to the tasks they will be performing. In fact the best interface is an invisible one, one giving the user natural and fast access to the application he (or she) intends to be executed. The working group that organized this conference (the last of a long row!) tried to combine a powerful scientific program (with drastic refereeing) with an entertaining cultural program, so as to make your stay in Rome the m...

INTERACT 2015 Adjunct Proceedings
  • Language: en
  • Pages: 671

INTERACT 2015 Adjunct Proceedings

None

Human-Computer Interaction -- INTERACT 2011
  • Language: en
  • Pages: 792

Human-Computer Interaction -- INTERACT 2011

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in September 2011. The fourth volume includes 27 regular papers organized in topical sections on usable privacy and security, user experience, user modelling, visualization, and Web interaction, 5 demo papers, 17 doctoral consortium papers, 4 industrial papers, 54 interactive posters, 5 organization overviews, 2 panels, 3 contributions on special interest groups, 11 tutorials, and 16 workshop papers.

Object-Oriented Technology. ECOOP'99 Workshop Reader
  • Language: en
  • Pages: 405

Object-Oriented Technology. ECOOP'99 Workshop Reader

  • Type: Book
  • -
  • Published: 2003-07-31
  • -
  • Publisher: Springer

ECOOP'99 Workshops, Panels, and Posters Lisbon, Portugal, June 14-18, 1999 Proceedings

Interactive Systems. Design, Specification, and Verification
  • Language: en
  • Pages: 276

Interactive Systems. Design, Specification, and Verification

  • Type: Book
  • -
  • Published: 2007-05-15
  • -
  • Publisher: Springer

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement.

Engineering Human Computer Interaction and Interactive Systems
  • Language: en
  • Pages: 409

Engineering Human Computer Interaction and Interactive Systems

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, a...

Computational Processing of the Portuguese Language
  • Language: en
  • Pages: 284

Computational Processing of the Portuguese Language

  • Type: Book
  • -
  • Published: 2006-05-24
  • -
  • Publisher: Springer

This book constitutes the thoroughly refereed proceedings of the 7th International Workshop on Computational Processing of the Portuguese Language, PROPOR 2006. The 20 revised full papers and 17 revised short papers presented here are organized in topical sections on automatic summarization, resources, translation, named entity recognition, tools and frameworks, systems and models, information extraction, speech processing, lexicon, morpho-syntactic studies, and Web, corpus and evaluation.