Interactive Systems
Volume 45: Formal Methods for Interactive Systems 2011
... The semi-formal, safety case structures used to support EGNOS certification for SoL appli- cations are significantly more complex than that illustrated in Figure 1. A modular approach was, therefore, developed to ...
19
A Comparative Evaluation Methodology for NLG in Interactive Systems
... NLG (natural language generation) can sometimes look like the poor cousin of NLA (natural language analysis), es- pecially because two sizeable NLP subfields that once com- prised NLG as a subtask (MT and summarisation) ...
8
Gesture Recognition for Interactive Systems Using Kinect v2
... ABSTRACT: Body-movement based interfaces are one of the most discussed modes of interaction with a computer system in the recent past. Among these modes, touchless body movement interface has obviously caught more ...
6
Volume 69: Formal Methods for Interactive Systems 2013
... an interactive command prompt with a read-eval-print loop that allows developers to enter commands and ex- ecute PVS specifications ...prototyping interactive systems: a list of nested commands must ...
9
Volume 69: Formal Methods for Interactive Systems 2013
... Abstract: This paper describes the use of an automated theorem prover to analyse properties of interactive behaviour. It offers an alternative to model checking for the analysis of interactive ...
13
Volume 69: Formal Methods for Interactive Systems 2013
... produce interactive systems and to reason about ...of systems, and in some cases, allows to automate reasoning processes ...an interactive system that are of particular interest in a certain ...
13
Volume 69: Formal Methods for Interactive Systems 2013
... Currently the vast majority of approaches used to develop different interaction techniques are tackled by the use of usual programming languages. The use of programming languages poses some advantages when compared to ...
15
Volume 45: Formal Methods for Interactive Systems 2011
... Abstract: This paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem is the procurement of medical devices. In such situations several different ...
17
Volume 45: Formal Methods for Interactive Systems 2011
... complex systems, Hutchins [Hut95] analysed how a cockpit “remembers its speed” through a combination of different people, in different roles, with different tools and artefacts collectively moving and changing the ...
17
Volume 45: Formal Methods for Interactive Systems 2011
... in interactive systems is to build models of the participating (automated and human) agents and then explore all reachable states of the composed system looking for divergences between mental states and ...
17
Volume 45: Formal Methods for Interactive Systems 2011
... The point is that while keyed data entry seems simple (“just key in what you want”), it conceals many design choices and constraints, typically implemented in many places (in every sense: geographically, software ...
17
Volume 45: Formal Methods for Interactive Systems 2011
... Nurses are usually interrupted while they carry out their tasks. There is empirical evidence that interruptions have a disruptive impact on people’s performance and reliability [TM07] that must be taken into account when ...
16
Volume 22: Formal Methods for Interactive Systems 2009
... and interactive behaviours to a formal system specification which provides a formal model of the entire system enabling us to derive tests which are comprehensive and cover all aspects of the ...
17
Volume 22: Formal Methods for Interactive Systems 2009
... pervasive, interactive systems. These kinds of systems present numerous challenges for verification: context-changes may be difficult to model and predict and in addition, such systems often ...
17
Assessing fun: young children as evaluators of interactive systems.
... For interactive search systems evaluation is a particular concern, and interactive systems must be evaluated with end-users – the people for whom the system is constructed ...
8
BA&Sc in Interactive Systems Design
... Interactive systems are now a ubiquitous part of people’s technological lives – from web applications to games to embedded devices – and the design and usability of these systems is having an ...
7
Formative evaluation for complex interactive systems
... The evaluation of complex interactive systems following conventional approaches demands considerable effort and resource. Users and stakeholders are hard to access and as a consequence, evaluation tends to ...
9
Volume 45: Formal Methods for Interactive Systems 2011
... In HCI, models of human cognition are used in different ways and for various purposes. One approach, computational cognitive models [RY01], draws from cognitive science and is applied to test and improve usability of ...
6
Volume 45: Formal Methods for Interactive Systems 2011
... Applications for smart phones have many complex (and often conflicting) requirements and soft- ware development for such devices typically takes place using emulators. Smart phone applica- tions provide multiple modes of ...
6
COMPUTER GRAPHICS AND INTERACTIVE SYSTEMS LABORATORY
... mEducator - Multi-type Content Repurposing and Sharing in Medical Education. eContentplus - Digital Content and Cognitive Systems Programme funded by European Commission (2009-2012), http://www.meducator.net/. ...
5