32 search results - page 4 / 7 » User interface layout with ordinal and linear constraints |
GRAPHITE
2005
ACM
14 years 28 days ago
2005
ACM
Linear perspective is a good approximation to the format in which the human visual system conveys 3D scene information to the brain. Artists expressing 3D scenes, however, create ...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
CONSTRAINTS
2002
13 years 7 months ago
2002
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring tha...
GRAPHICSINTERFACE
2009
13 years 5 months ago
2009
We present Drive, a system for the conceptual layout of 3D path networks. Our sketch-based interface allows users to efficiently author path layouts with minimal instruction. Our ...
UIST
2005
ACM
14 years 27 days ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...