Beruflich Dokumente
Kultur Dokumente
ABSTRACT in Fitts’ law studies [7], and the usual practice is to take the
We investigate bivariate pointing in light of the recent progress diameter of the inscribed circle as the W in Fitts’ law. In
in the modeling of univariate pointing. Unlike previous stud- fact, two of the three tasks (peg in hole and disk transfer) in
ies, we focus on the effect of target shape (width and height Fitts’ original study [4] involved circle-shaped targets.
ratio) on pointing performance, particularly when such a ra-
tio is between 1 and 2. Results showed unequal impact of D
amplitude and directional constraints, with the former domi-
nating the latter. Investigating models based on the notion of H D H
weighted `p norm, we found that our empirical findings were
best captured by an Euclidean model with onePSfrag free weight.
replacements PSfrag replacements
This model significantly outperforms the best model to date.
Keywords W W
Pointing, Fitts’ law, input, human performance (a) AP — Pointing with ampli- (b) DP — Pointing with direc-
tude constraint tional constraint
INTRODUCTION
Fitts’ law [4] is often used as a model for pointing actions
Figure 1: The AP and DP tasks
in user interfaces. It predicts that the time T to acquire a
graphical target depends on its width W and its distance D
Problem arises when the 2D target is elongated, i.e. with un-
to the cursor (Figure 1.a) according to the relation:
equal width and height1 . The 1D model applies when H is
D
infinity; it also “works” when H = W . The questionable
T = a + b log2 +1 (1) cases are when H approaches W . Intuitively, when H is
W much greater than W (e.g. H > 8W ), it does not matter
(movement time is only determined by W ) because the nat-
where a and b are empirically-determined constants. The
ural spread of the hit points in the vertical dimension would
logarithm term is the index of difficulty (ID) of the task.
not exceed such a range. What if H approaches 3W , 2W ,
Despite Fitts’ law success as one of the very few quantita- or even below 2W ? It is conceivable that the additional con-
tive models applicable to HCI tasks and the great number of straint in the H dimension would make the task harder to
studies related to Fitts’ law existing in the literature (see [8]), perform when H decreases toward the value of W .
some basic questions regarding Fitts’ law have not been satis-
Conceptually, we can view a pointing task as controlling both
factorily addressed. One of them is how Fitts’ law should be
amplitude and directional error. The former is constrained by
formulated when the pointed target is two dimensional (2D).
W and defines an “amplitude pointing” (AP ) task; the latter
Fitts’ law is inherently a 1D model. In experimental studies, is constrained by H and defines a “directional pointing” (DP )
it is typical to set the width of the pointing targets to a set of task2 . In other words, pointing is a bivariate process.
controlled values, but leave the target height (H) practically Stemmed from the need to model and compare goal-passing
at infinity. The only constraint on the movement is hence tasks with pointing tasks, recent work [2] shed some light on
one-dimensional and collinear to the motion direction, with the question of directional-error control. The study took the
well defined task parameters (D, W ). other extreme case of pointing by controlling H and having
Practically, meaningful targets are of course 2D. A special W infinite (Figure 1.b), such that the only task constraint was
class of 2D targets is objects with equal width and height, directional. It was found that pointing with directional con-
such as a square or a circle. Such targets have also been used straint, also follows Fitts’ law, with the target height H used
in place of W . The study also found that, for the same ID,
Permission to make digital or hard copies of all or part of this work for directional pointing takes less time than amplitude pointing.
personal or classroom use is granted without fee provided that copies
are not made or distributed for profit or commercial advantage and that 1 In this paper, the width W is always laid in horizontal dimension and the
copies bear this notice and the full citation on the first page. To copy height H in vertical dimension. More generally, W extends in movement
otherwise, or republish, to post on servers or to redistribute to lists, direction and H extends orthogonally to movement direction.
requires prior specific permission and/or a fee. 2 The AP and DP tasks correspond to the CP and OP tasks in [2]. We
CHI 2003, April 5–10, 2003, Ft. Lauderdale, Florida, USA. herein use different names as CP vs. OP could be ambiguously interpreted.
Copyright 2003 ACM 1-58113-630-7/03/0004. . . $5.00.
This is a critical step in the understanding of bivariate point- • The minimum of the width and height:
ing: for the first time, we isolated the effect of target height
D
on acquisition time, independently of target width. IDmin(W,H) = log2 +1 (3)
min(W, H)
What is unresolved, however, is the interaction between tar-
get height and width. We wondered earlier how movement • The “apparent width” W 0 in the direction of motion:
time would change when H decreases towards the value of
D
W . Symmetrically, if W is greater than H, how does move- IDW 0 = log2 + 1 (4)
W0
ment time change when W decreases from infinity towards
the value of H? More formally, is it possible to find a model • The sum of target’s width and height.
comparable to the original Fitts’ law that would model the • The product of the target’s width and height.
time to acquire a target of finite width and height (Figure 2)?
• The target width itself, without taking height into account.
W W
PSfrag replacements PSfrag replacements W0
H
H H
D
W
D θ
Figure 2: Definition of the task parameters
Although posed from different angles, 2D Fitts’ law is not a Figure 3: Bivariate target acquisition
new topic. In the rest of the paper, we briefly review related
literature and summarize the different models proposed so Among these five, the IDmin(W,H) model gave the best corre-
far. We then discuss the limitations of each model and pro- lation with experimental data [9], followed by the W 0 model.
pose new models that are more compatible with the current The rest were rejected by the authors. The study of MacKen-
knowledge of pointing actions. zie & Buxton has been fairly successful as the IDmin model
has been used (e.g. [10, 12]) and taught in the past decade.
LITERATURE OVERVIEW It has an operational simplicity and the advantage of being
The very first study of two-dimensional pointing seems due easily extended to higher dimensions. This model was also
to Crossman [3]. Reported by Hoffmann [5], Crossman found separately proposed by Hoffmann & Sheikh [5].
that “the vertical height [...] had a significant effect on move-
ment time” and that “the restriction in the extra dimension However, all models proposed to date have serious limita-
appeared to affect performance in much the same way as the tions of some kind. For example, the IDW 0 model that mea-
restriction in width, but to a slightly lesser degree” [5]. See- sures target size along movement direction essentially ig-
ing that the target height had a similar logarithmic effect on nores directional constraints. Its validity is also questionable
performance, Crossman suggested a model of the form3 : when the “approach angle” is not 0, 45, or 90 degrees, which
were the only cases tested in MacKenzie & Buxton’s study.
But more importantly, such a model does not take account of
D D
T = a + b log2 + 1 + c log2 +1 (2) the limit tasks properly.
W H
Let ID(D, W, H) denote the index of difficulty of the bivari-
where a, b, c are constants. Since only two persons partici- ate pointing task with a target of width W and height H lying
pated in his study, it should be considered a pilot experiment. at a distance from the position of the cursor (Figure 4.a). This
Crossman’s model explicitly separates the difficulty of the index must satisfy the following two properties:
amplitude and directional actions by defining two additive • When W tends to infinity, the limit task is a DP task (Fig-
indexes of difficulty. Hoffmann & Sheikh do not fully agree ure 4.b). The difficulty of the task should be:
with this approach and argue that “only when the target height
is less than the natural vertical scatter of hits on the target is D
∀D, H; lim ID(D, W, H) = log2 +1 (5)
there likely to be any effect of vertical constraint” [5]. In W →∞ H
other words, the effect of width and height should interact: if • When H tends to infinity, the limit task is an AP task (Fig-
one gets very difficult, it should cancel out the effect of the ure 4.c). The difficulty of the task should be:
second. This is not true for the Crossman model.
D
The best known study of bivariate pointing in the HCI com- ∀D, W ; lim ID(D, W, H) = log2 +1 (6)
H→∞ W
munity is by MacKenzie & Buxton [9]. Keeping the well-
Among the models described so far, only the Crossman and
known form of Fitts’ law, with a ratio of the distance to be
IDmin models satisfy these properties. But they are still not
covered and the target “extent”, they examined the following
satisfactory as they do not properly account for the interac-
five candidates that quantify target extent in 2D (Figure 3):
tion between target width and height. In the case of Cross-
3 The model suggested by Crossman [3] does not include the unitary con- man’s model, the width and height are fully independent vari-
stants within the log term. Since Fitts’ law in its Shannon form is more ables and the target height is predicted to contribute to move-
widely accepted in the HCI community, we will use it throughout this paper. ment time even when it is very large compared to the target
• Limit tasks: the model should regress toward 1D Fitts’ law
frag replacements D when either H or W tends to infinity.
D
• Dominance effect: the smaller of H or W should dominate
H
PSfrag replacements the ID value, with little or smaller impact of the other.
H →∞
W • Duality of H and W : both H and W effects should be
(a) A target of width W and
height H
contained in the same model and be of similar nature.
frag replacements W • Continuity: the effect of H and W should be continuously
(c) When the height H tends
D represented, rather than stepwise or segmented.
to infinity, the task becomes
H a AP task (with the differ- New model candidates
ence that the movement am-
W →∞
plitude is measured to the
In order to quantify a bivariate task with an univariate index
(b) When the width W tends
to infinity, the task becomes edge of the target instead of of difficulty, we need to define the appropriate “distance” in a
an DP task. its center). two dimensional space, with the two dimensions determined
by W and H. The general mathematical notion of distance
we will use for that purpose is the weighted `p -norm.
Figure 4: Bivariate pointing and its two limit tasks
The weighted `p -norm Given a vector x = (x1 , . . . , xn ),
a real number p ≥ 1 and a set of positive weights w =
width, which is counter-intuitive. In the case of the IDmin (w1 , . . . , wn ), the w-weighted `p -norm of x is defined by:
model, the interaction between width and height exists but is
very crude: it predicts that the movement time does not de- n
!1/p
X
p
pend on H as soon as it is greater than W ; vice versa, it is kxkp,w = wi |xi | (7)
not affected by W as soon as W > H. This is difficult to be- i=1
lieve and actually inconsistent with available empirical data.
For example, as shown in Table 3 in [5], for the same height The weighted `p -norm generalizes common norms, such as:
(e.g. 10), the movement time did increase as W changed (e.g. • the `1 -norm with unitary weights:
from 40 to 10). Sheikh & Hoffmann [11] also showed that n
the difficulty for acquiring a square is indeed greater than for kxk1 =
X
|xi | = |x1 | + . . . + |xn | (8)
a rectangle, which is not captured by the IDmin model.
i=1
MOTIVATION AND DIRECTION OF THE CURRENT STUDY also known as the city-block or Manhattan norm.
The unsatisfactory state of affairs in 2D pointing motivated
us to conduct a new study to provide a more complete under- • the `2 -norm with unitary weights:
standing of it. Our study will depart from the prior art in two n
!1/2
ways: experimental manipulation and theoretical modeling. kxk2 =
X
|xi | 2
p
= |x1 |2 + . . . + |xn |2 (9)
Experimental manipulation i=1
In terms of experimental manipulation, three factors differ- which is the well-known Euclidean norm.
entiate our study from the prior art. First, knowing that DP
tasks also follow Fitts’ law, we view W-dominant (W < H) • the generic `p -norm (p > 0) with unitary weights:
and H-dominant (H < W ) cases symmetrically and study n
!1/p
both as mirror situations. Second, unlike previous works that X
kxkp = |xi |p (10)
manipulate absolute H and W values and leave their ratio
i=1
as a dependent variable, we control the H and W ratio and
view it as a basic independent variable. The ratio, which de- also known as the Hölder or Minkowski norm.
termines the shape of a rectangular target and is hence the
• When p tends to infinity, the value of kxkp reaches asymp-
fundamental factor to the interaction between H and W , has
totically the maximum value of xi . The `∞ -norm with uni-
been an oversight in the literature. Third, we are interested in
tary weights is hence defined by:
the impact of the secondary constraint (the greater of H and
W ) as it approaches the primary constraint. The literature kxk∞ = max {|xi |} = max {|x1 |, . . . , |xn |} (11)
never studied H : W ratios between 1 and 2, and was hence 1≤i≤n
more likely to find only binary all-or-nothing impact. For ans is also called the Chebyshev, uniform or max norm.
example, Hoffmann & Sheikh [5] tested the ratios 1, 2, 4, 5,
8, 10, 20, and 40. Our hypothesis is that large ratios will be `p -norm models for bivariate pointing Using the previous
equivalent to no constraint at all on the low-constraint axis. notations, we investigate models in the following form:
Desirable model properties T = a + b log2 (kXkp,w + 1) (12)
In terms of quantitative modeling, we start with a set of de-
sirable properties for a bivariate pointing model: where a and b are constants, and X is the constraint vector:
• Scale independency: multiplying D, W and H by a same
D D
constant should leave movement time unchanged. X= , (13)
W H
Examples of norms of the constraint X are: them to specific values. For instance, the norm order p can
be fixed to common values — such as 1, 2 or ∞ — or remain
D D a free variable, the best order being estimated. The order p of
kXk1 = + (14)
W H the models will then be parameterized by p ∈ {1, 2, ∞, ?},
where the “?” symbol denotes a parameter to be estimated.
s 2 2
D D Similarly, we consider the cases where none, one or both
kXk2 = + (15)
W H the weights ω and η are free variables. The number of free
ag replacements weights will be parameterized by n ∈ {0, 1, 2}, which cor-
D D
kXk∞ = max , (16) respond to the following (ω, η) combinations: (1, 1), that is
W H
both weights are set to unity; (1, ?), that is ω is set to unity
Figure 5 presents the constraint space with the X vector as and η is a free variable; and (?, ?), that is both weights are
well as the three previous norms. free variables. We always consider a and b free variables.
The model of order p with n free weights is denoted by Mpn .
Directional For example, the IDmin model is M∞ 0 , and M1 is the Eu-
2
400
For W-dominant cases (W ≤ H), a repeated-measure ANOVA Figure 7: Movement time against index of difficulty
shows that both A (F2,18 = 254, p < .0001) and W (F2,18 =
p n a b ω η p R2
Estimate Std. Err. Estimate Std. Err. Estimate Std. Err. Estimate Std. Err. Estimate Std. Err.
1 0 121 27.7 160 5.62 — — — — — — 0.893
1 1 210 20.4 166 4.06 — — 0.221 0.0466 — — 0.946
1 2 350 42.3 187 10.6 0.37 0.116 0.0866 0.0302 — — 0.949
2 0 166 26.3 164 5.77 — — — — — — 0.893
2 1 223 18.4 168 4.06 — — 0.137 0.0335 — — 0.948
2 2 347 42.4 188 10.4 0.174 0.108 0.0253 0.0163 — — 0.951
∞ 0 193 27.3 165 6.25 — — — — — — 0.878
∞ 1 240 17.5 168 4.17 — — 0.422 0.0331 — — 0.945
∞ 2 343 44.9 184 10.4 0.48 0.157 0.205 0.0681 — — 0.947
? 0 144 38.1 162 6.14 —
PSfrag replacements — — replacements
PSfrag — 1.32 0.53 0.894
? 1 224 19.3 168 4.11 — — 0.125 0.0768 2.14 0.875 0.948
? 2 347 42.6 188 10.5 0.182 0.151 0.0274
Movement0.0325
time (ms) 1.94 0.752 0.951
TableMovement
2: Summarytime
of (ms)
modeling results
Movement time (ms) Movement time (ms)
Movement time (ms) Movement time (ms)
Error analysis For all participants, we recorded 461 errors
The validity of the one weight Euclidean model exceeds that 9. I. S. MacKenzie and W. Buxton. Extending Fitts’ law
of the prior art. It not only fits the data collected in our cur- to two-dimensional tasks. In Proceedings of the ACM
rent experiment, including W :H ratios close to 1, but also SIGCHI Conference on Human Factors in Computing
data published from a previous experiment [5]. In contrast, Systems, pages 219–226, 1992.
previous models, such as the IDmin model, could not ex- 10. A. Murata. Extending effective target width in Fitts’
plain our empirical findings, particularly the fact that W in- law to a two-dimensional pointing task. International
fluences movement time even if it is greater than H. With the Journal of Human-Computer Interaction, 11(2):137–
IDmin model, W ’s influence should vanish if H < W . Also 152, 1999.
note the non-linear nature of the Euclidean model: while the
weight of the directional term is 3 to 7 times less than the am- 11. I. H. Sheikh and E. R. Hoffmann. Effect of target
plitude term, it should not be interpreted that the directional shape on movement time in a Fitts task. Ergonomics,
tolerance counts for 1/3 to 1/7 of the amplitude constraint 37(9):1533–1548, 1994.
of the same size.
12. C. Ware and K. Lowther. Selection using a one-eyed
Based on these analyses, it is apparent that the Euclidean cursor in a fish tank VR environment. ACM Transac-
model with one weight (M21 model, Equation 23) is the best tions on Computer-Human Interaction, 4(4):309–322,
model among all the candidates: it has greater predictive 1997.