291 search results - page 7 / 59 » Interface Input Output Automata |
ENTCS
2006
14 years 11 months ago
2006
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
86
Voted
WIA
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In 6], G. Myers describes a bit-vector algorithm to compute the edit distance between strings. The algorithm converts an input sequence to an output sequence in a paralle...
105
Voted
UIST
1999
ACM
15 years 4 months ago
1999
ACM
We present experimental work which explores how the match (or mismatch) between the input space of the hands and the output space of a graphical display influences twohanded input...
126
click to vote
CONCUR
1994
Springer
15 years 3 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
We present Skinput, a technology that appropriates the human body for acoustic transmission, allowing the skin to be used as an input surface. In particular, we resolve the locati...