𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Verification in the Design of Gestural Interaction

✍ Scribed by G.J. Doherty; G. Faconti; M. Massink

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
203 KB
Volume
43
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

This paper shows how formal modelling can be used in the design of a dynamic gesture language defined by sequences of poses. It discusses two models at different levels of abstraction dealing with important usability issues of the language such as ambiguity and overlap in the recognition of gestures. An approach to make the language more resilient to intermediate poses is evaluated based on a timed extension of the model. A tool providing model checking for hybrid automata is used to perform systematic and automatic analysis.

πŸ“œ SIMILAR VOLUMES

Supporting the formal verification of ma
Supporting the formal verification of mathematical texts
✍ Claus Zinn πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully

Formal description and comparison of int
Formal description and comparison of interactive design strategies
✍ Y.N. Strelnikov; G.D. Dmitrevich πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 1000 KB

This paper describes a method which provides unified descriptive facilities for specification, logic analysis, decomposition and comparison of operational CAD system components, planned for, or having, the possibility to be modified to suit a particular application. A formalization of the CAD proces

Formal verification of tail distribution
Formal verification of tail distribution bounds in the HOL theorem prover
✍ Osman Hasan; SofiΓ¨ne Tahar πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 181 KB

## Abstract Tail distribution bounds play a major role in the estimation of failure probabilities in performance and reliability analysis of systems. They are usually estimated using Markov's and Chebyshev's inequalities, which represent tail distribution bounds for a random variable in terms of it