4211 search results - page 201 / 843 » Types as Abstract Interpretations |
139
click to vote
CHI
1999
ACM
15 years 8 months ago
1999
ACM
While current eye-based interfaces offer enormous potential for efficient human-computer interaction, they also manifest the difficulty of inferring intent from user eye movements...
150
click to vote
METRICS
1997
IEEE
15 years 8 months ago
1997
IEEE
Schlumberger RPS successfully applies software measurement to support their software development projects. It is proposed that the success of their measurement practices is mainly...
152
click to vote
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
Although skip lists were introduced as an alternative to balanced binary search trees (BSTs), we show that the skip list can be interpreted as a type of randomly-balanced BST whos...
135
click to vote
MM
1995
ACM
15 years 8 months ago
1995
ACM
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...
130
click to vote
AAAI
2000
15 years 5 months ago
2000
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...