3938 search results - page 331 / 788 » Interactive Protocols on the Reals |
180
click to vote
NIME
2004
Springer
16 years 2 days 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. ...
164
click to vote
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
An approach to the specification of a Virtual Reality (VR) interactive environment is presented, which merges and generalizes two methods recently proposed in the literature: the ...
193
click to vote
HUMO
2000
Springer
15 years 10 months ago
2000
Springer
Intelligent meeting rooms should support efficient and effective interactions among its occupants. In this paper, we present our efforts toward building intelligent environments u...
207
click to vote
INTERACT
2003
15 years 8 months ago
2003
: In this paper we propose and evaluate interfaces for presenting the results of web searches. Sentences, taken from the top retrieved documents, are used as fine-grained represent...
298
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...