5451 search results - page 486 / 1091 » Typed Operational Semantics |
158
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
A new input unit for mobile devices is discussed. High speed text input through touch typing and mouse data input is possible through an SHK: Single Hand Key card, "castanets...
174
click to vote
CHI
1993
ACM
15 years 11 months ago
1993
ACM
Gestures are a powerful way to specify both objects and operations with a single mark of a stylus or mouse. We have extended an existing user interface toolkit to support gestures...
157
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Change detection enables an evolutionary algorithm operating in a dynamic environment to respond with undertaking necessary steps for maintaining its performance. We cons...
163
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
ion level of Change Subject of Change Properties of Change Type Instance Functional Perspective Organizational Perspective Extent Behavioral Perspective Informational Perspective O...
145
click to vote
FPCA
1991
15 years 10 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...