-
2
-
-
0141553470
-
The cassowary linear arithmetic constraint solving algorithm
-
Badros, G.J., Borning, A. and Stuckey, P.J. (2001) The Cassowary Linear Arithmetic Constraint Solving Algorithm. ACM Transactions on Computer-Human Interaction (TOCHI), 8 (4). 267-306.
-
(2001)
ACM Transactions on Computer-Human Interaction (TOCHI)
, vol.8
, Issue.4
, pp. 267-306
-
-
Badros, G.J.1
Borning, A.2
Stuckey, P.J.3
-
4
-
-
84879658323
-
Towards a dynamic strategy for computer-aided visual placement
-
Bodart, F., Hennebert, A.-M., Leheureux, J.-M. and Vanderdonckt, J. (1994) Towards a Dynamic Strategy for Computer-Aided Visual Placement. In Proceedings of the Workshop on Advanced Visual Interfaces, 78-87.
-
(1994)
Proceedings of the Workshop on Advanced Visual Interfaces
, pp. 78-87
-
-
Bodart, F.1
Hennebert, A.-M.2
Leheureux, J.-M.3
Vanderdonckt, J.4
-
5
-
-
0030291640
-
Performance optimization of VLSI interconnect layout
-
Cong, J., He, L., Koh, C.-K. and Madden, P.H. (1996) Performance Optimization of VLSI Interconnect Layout. Integration, the VLSI Journal, 21 (1). 1-94.
-
(1996)
Integration, the VLSI Journal
, vol.21
, Issue.1
, pp. 1-94
-
-
Cong, J.1
He, L.2
Koh, C.-K.3
Madden, P.H.4
-
7
-
-
0004061989
-
-
Prentice Hall
-
Di Battista, G., Fades, P., Tamassia, R. and Tollis, I.G. (1999) Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall.
-
(1999)
Graph Drawing: Algorithms for the Visualization of Graphs
-
-
Di Battista, G.1
Fades, P.2
Tamassia, R.3
Tollis, I.G.4
-
10
-
-
0000314222
-
Strategic directions in constraint programming
-
Hentenryck, P.V. and Saraswat, V. (1996) Strategic Directions in Constraint Programming. ACM Computing Surveys (CSUR), 28 (4). 701-726.
-
(1996)
ACM Computing Surveys (CSUR)
, vol.28
, Issue.4
, pp. 701-726
-
-
Hentenryck, P.V.1
Saraswat, V.2
-
14
-
-
0000474910
-
The state of the art in automating usability evaluation of user interfaces
-
Ivory, M.Y. and Hearst, M.A. (2001) The State of the Art in Automating Usability Evaluation of User Interfaces. ACM Computing Surveys (CSUR), 33 (4). 470-516.
-
(2001)
ACM Computing Surveys (CSUR)
, vol.33
, Issue.4
, pp. 470-516
-
-
Ivory, M.Y.1
Hearst, M.A.2
-
16
-
-
26444479778
-
Optimization by simulated annealing
-
Kirkpatrick, S., Gelatt, C.D., and Vecchi, M.P. Optimization by Simulated Annealing Science, 1983, 671-680.
-
(1983)
Science
, pp. 671-680
-
-
Kirkpatrick, S.1
Gelatt, C.D.2
Vecchi, M.P.3
-
19
-
-
0033906819
-
Aesthetic measures for assessing graphic scenes
-
Ngo, D.C.L., Samsudin, A. and Abdullah, R. (2000) Aesthetic Measures for Assessing Graphic Scenes. Journal of Information Science and Engineering, 16 (1). 97-116.
-
(2000)
Journal of Information Science and Engineering
, vol.16
, Issue.1
, pp. 97-116
-
-
Ngo, D.C.L.1
Samsudin, A.2
Abdullah, R.3
-
20
-
-
0037629310
-
Generating remote control interfaces for complex Appliances
-
Nichols, J., Myers, B.A., Higgins, M., Hughes, J., Harris, T.K., Rosenfeld, R. and Pignol, M. (2002) Generating Remote Control Interfaces for Complex Appliances. In Proceedings of the ACM Symposium on User Interface Software and Technology (UIST 2002), 161-170.
-
(2002)
Proceedings of the ACM Symposium on User Interface Software and Technology (UIST 2002)
, pp. 161-170
-
-
Nichols, J.1
Myers, B.A.2
Higgins, M.3
Hughes, J.4
Harris, T.K.5
Rosenfeld, R.6
Pignol, M.7
-
23
-
-
0027629472
-
Layout appropriateness: A metric for evaluating user interface widget layout
-
Sears, A. (1993) Layout Appropriateness: A Metric for Evaluating User Interface Widget Layout. IEEE Transactions of Software Engineering, 19 (7). 707-719.
-
(1993)
IEEE Transactions of Software Engineering
, vol.19
, Issue.7
, pp. 707-719
-
-
Sears, A.1
-
24
-
-
0029706399
-
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
-
Vander Zanden, B. (1996) An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. ACM Transactions on Programming Languages and Systems (TOPLAS), 18 (1). 30-72.
-
(1996)
ACM Transactions on Programming Languages and Systems (TOPLAS)
, vol.18
, Issue.1
, pp. 30-72
-
-
Vander Zanden, B.1
-
25
-
-
0038843643
-
Lessons learned about one-way, dataflow constraints in the garnet and amulet graphical toolkits
-
Vander Zanden, B., Halterman, R., Myers, B.A., McDaniel, R., Miller, R., Szekely, P., Giuse, D.A. and Kosbie, D. (2001) Lessons Learned About One-Way, Dataflow Constraints in the Garnet and Amulet Graphical Toolkits. ACM Transactions on Programming Languages and Systems (TOPLAS), 23 (6). 776-796.
-
(2001)
ACM Transactions on Programming Languages and Systems (TOPLAS)
, vol.23
, Issue.6
, pp. 776-796
-
-
Vander Zanden, B.1
Halterman, R.2
Myers, B.A.3
McDaniel, R.4
Miller, R.5
Szekely, P.6
Giuse, D.A.7
Kosbie, D.8
|