Search

Your search keyword '"Faconti, G."' showing total 50 results
Start Over Author "Faconti, G."
50 results on '"Faconti, G."'

1. Analysis of Pointing Tasks on a White Board

Author

Faconti, G., Massink, Mieke, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Doherty, Gavin, editor, and Blandford, Ann, editor

Published
2007
Full Text
View/download PDF

6. Device Models

Author

Faconti, G. P., Duke, D. J., Hansmann, W., editor, Hewitt, W. T., editor, Purgathofer, W., editor, Bodart, Francois, editor, and Vanderdonckt, Jean, editor

Published
1996
Full Text
View/download PDF

7. Concepts, Methods, Methodologies Working Group

Author

ten Hagen, P. J. W., Bass, L., Carlsen, N. V., Cockton, G., Faconti, G., Gimnich, R., Grollmann, J., Guedj, R., Hollnagel, E., Hopgood, F. R. A., Lee, J., Martinez, M., Neelamkavil, F., Shevlin, F., Soede, D., Villalobos, B., Hewitt, W. T., editor, Gnatz, R., editor, Duce, D. A., editor, Duce, David A., editor, Gomes, M. Rui, editor, Hopgood, F. Robert A., editor, and Lee, John R., editor

Published
1991
Full Text
View/download PDF

8. A model of interaction for graphical systems

Author

Faconti, G. P., Bettarini, R. D., Paterno', F., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Miola, Alfonso, editor

Published
1990
Full Text
View/download PDF

18. Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version

Author

Ter Beek M. H., Faconti G. P., Massink M., Palanque P. A., and Winckler M.

Subjects
metrics, Formal Modelling, etc.), Mathematical aspects of software engineering (specification, Software/Program Verification, Stochastic Model Checking, Interaction Techniques, verification, requirements
Abstract

In many modern working environments interruptions are commonplace as users must temporarily suspend their current task in order to complete an unexpected intervening activity. As users are faced with more and more sources of information competing for users' attention at any time, it is becoming increasingly important to understand how interruptions affect our abilities to complete tasks. The present work introduces a new perspective for the research in the field by employing analytical, model-based, techniques that are informed by well-established cognitive theories and experimental data available in the literature. We propose stochastic modelling and model checking to predict measures of the disruptive effects of interruptions to two well-known interaction techniques: Drag 'n Drop and Speak 'n Drop. The approach also provides a way to compare the resilience of different interaction techniques to the presence of external interruptions that users need to handle. The results obtained are in a form that allows validation with results obtained by empirical studies involving real users.

Published
2009

19. Analysis of a pointing task on a white board

Author

Faconti G. and Massink M.

Subjects
Gestures, Human Computer Interaction, Fitts' Law, Human performance
Abstract

We study the variations in two dimensional (2D) pointing behaviour of a group of subjects by means of capturing their movement traces in an automatic way with the Mimio device. Such traces can provide detailed insight in the variability of 2D pointing relevant for example for the design of computer vision based gestural interaction. This study provides experimental evidence that for medium large distances Fitts' model, and Welfords and Shannons variants, continue to show a linear relationship between movement time (MT) and the index of difficulty (ID) with a high correlation for the ranges considered. The expected increased sensitivity to changes in ID for these distances are confirmed. Nearly all movements show three phases: a planning phase, a ballistic phase and an adjustment phase. Finally, we show that the arrival time at the target resembles a log-normal distribution.

Published
2007
Full Text
View/download PDF

20. Analysis of Pointing Tasks on a White Board -- Extended Version

Author

Faconti G. and Massink M.

Subjects
User performance distribution, Human Computer Interaction, Fitts' Law
Abstract

We study the variations in two dimensional (2D) pointing behaviour of a group of subjects by means of capturing their movement traces in an automatic way with the Mimio device. Such traces can provide detailed insight in the variability of 2D pointing relevant for example for the design of computer vision based gestural interaction. This study provides experimental evidence that for medium large distances Fitts' model, and Welfords and Shannons variants, continue to show a linear relationship between movement time (MT) and the index of difficulty (ID) with a high correlation for the ranges considered. The expected increased sensitivity to changes in ID for these distances are confirmed. Nearly all movements show three phases: a planning phase, a ballistic phase and an adjustment phase. Finally, we show that the arrival time at the target resembles a log-normal distribution.

Published
2006

22. Continuous interaction in future computing systems

Author

Doherty G., Faconti G., Massink M., and Wilson M.

Subjects
Continuous interaction, Computer Networks and Communications, business.industry, Computer science, Usability, Context (language use), Variation (game tree), Accessibility, Computing systems, Human-Computer Interaction, Coupling (computer programming), Human–computer interaction, Artificial intelligence, business, Reference model, continuous interaction, Software, Human communication, Information Systems
Abstract

The latest developments in human computer interfaces aim at greater ease of use, and the exploitation of human communication and interaction skills typical of non-computerised environments. This kind of interaction is continuous rather than purely discrete. Continuous interaction implies a tighter coupling between system and user, and raises complicated synchronisation issues where real-time requirements and intrinsic variation of human behaviour play an essential role. In this paper, we propose a human centred layered reference model to reduce the design complexity of systems exhibiting continuous interaction. In the context of the layered model, we discuss the role that formal modelling can play in the design of these systems.

Published
2002

36. On the use of LOTOS to describe graphical interaction

Author

Paternò F. and Faconti G.

Subjects
Graphic Input Models, User Interface System, Interactive Systems, Formal Methods
Abstract

This paper discusses a formal specification of a model of a graphical interaction object by using the LOTOS notation and the possible results that we can obtain from this approach. With this model the relationship between the input and output functionality can be addressed. A User Interface System, which manages dialogues between the user and the application, may be described as a composition of instances of graphical interacting objects.

Published
1992

37. PREMO : a case study in formal methods and multimedia system specification

Author

Duce, D.A., Duke, D.J., Faconti, G., Herman, I. (Ivan), Massink, M., Duce, D.A., Duke, D.J., Faconti, G., Herman, I. (Ivan), and Massink, M.

Abstract

SC24, the sub-committee of the International Organisation for Standardization responsible for the area of computer graphics and image processing, is in the process of completing work on a new standard for multimedia systems, called PREMO. For the first time in SC24, formal methods were employed during the development of the standard. The lessons learned from this exercise are interesting for two reasons. First, PREMO spans concerns ranging from the underlying object model through to issues related to media content. The broad scope of this work has presented challenges to the use of formal methods that have not been reported in other industrial applications. Second, the standards development process places restrictions on how formal methods can be applied. This paper describes the approaches that the PREMO specification group adopted to address the technical demands of the application area and, critically, where those approaches were found wanting. The lessons learned from the case study are discussed in the context of recent debates within the formal methods community on making formal methods relevant to software practitioners.

Published
1997

38. Analysis of Pointing Tasks on a White Board.

Author

Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Doherty, Gavin, Blandford, Ann, Faconti, G., and Massink, Mieke

Abstract

We study the variations in two dimensional (2D) pointing tasks on a traditional white board of a group of subjects by means of capturing their movement traces in an automatic way with the Mimio device. Such traces provide detailed insight in the variability of 2D pointing relevant for example for the design of computer vision based gestural interaction. This study provides experimental evidence that for medium large distances Fitts' model, and Welfords and Shannons variants, continue to show a linear relationship between movement time (MT) and the index of difficulty (ID) with a high correlation for the ranges considered. The expected increased sensitivity to changes in ID for these larger distances are confirmed. Nearly all movements show three phases: a planning phase, a ballistic phase and an adjustment phase. Finally, we show that the arrival time at the target resembles a log-normal distribution. [ABSTRACT FROM AUTHOR]

Published
2007
Full Text
View/download PDF

48. A visual environment to define composition of interacting graphical objects.

Author

Faconti, G. and Paternó, F.

Abstract

This work presents the FP visual language that specifies the components of a user interface and their relationship. Each component is an instance of an interactor that is a general description of a basic graphical interaction. By a visual language, it is possible to specify in a flexible way the logical structure of a user interface defined as a composition of interacting graphical objects. The graphical tool allows the designer to investigate the correctness of user interfaces and their properties. [ABSTRACT FROM AUTHOR]

Published
1993
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results