697 search results - page 38 / 140 » Symbols are not uniquely human |
110
Voted
TRIER
2002
14 years 10 months ago
2002
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
104
click to vote
CHI
2004
ACM
15 years 11 months ago
2004
ACM
Speech interfaces should have a capability of dealing with inexplicit utterances including such as ellipsis and deixis since they are common phenomena in our daily conversation. T...
CHI
2003
ACM
15 years 11 months ago
2003
ACM
We propose a method for computer-based speed writing, SHARK (shorthand aided rapid keyboarding), which augments stylus keyboarding with shorthand gesturing. SHARK defines a shorth...
84
Voted
MM
2009
ACM
15 years 5 months ago
2009
ACM
Existing cameraphone-based interactive paper systems fall short of the flexibility of GUIs, partly due to their deficient fine-grained interactions, limited interaction styles and...
83
Voted
RE
2001
Springer
15 years 3 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...