2324 search results - page 193 / 465 » Specifying interaction surfaces using interaction maps |
161
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
139
click to vote
EMNLP
2006
15 years 6 months ago
2006
This paper presents a method of automatically constructing information extraction patterns on predicate-argument structures (PASs) obtained by full parsing from a smaller training...
141
Voted
WSCG
2003
15 years 5 months ago
2003
The Escritoire is a horizontal desk surface that uses two overlapping digital projectors to create a foveal display – a large interactive surface that has a high-resolution area...
129
click to vote
IJCSS
2006
15 years 4 months ago
2006
In this paper, minimum jerk movement on the constrained sphere was studied by using both theoretical analysis and experimental investigation. Based on the constraint optimal princ...
132
click to vote
NIME
2004
Springer
15 years 10 months ago
2004
Springer
Sonic City is a wearable system enabling the use of the urban environment as an interface for real-time electronic music making, when walking through and interacting with a city. ...