502 search results - page 18 / 101 » Visual Formalisms Revisited |
108
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
We present a new 4-key text entry method that, unlike most few-key methods, is gestural instead of selection-based. Importantly, its gestures mimic the writing of Roman letters fo...
108
click to vote
VL
2006
IEEE
15 years 7 months ago
2006
IEEE
We have been working to uncover gender differences in the ways males and females problem solve in end-user programming situations, and have discovered differences in males’ vers...
117
click to vote
VL
1998
IEEE
15 years 6 months ago
1998
IEEE
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
101
Voted
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
118
click to vote
AMW
2010
15 years 3 months ago
2010
Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...