1746 search results - page 209 / 350 » On the expressiveness of interaction |
174
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
150
click to vote
NIME
2005
Springer
15 years 12 months ago
2005
Springer
We present our work in the development of an interface for an actor/singer and its use in performing. Our work combines aspects of theatrical music with technology. Our interface ...
185
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Alerting services can provide a valuable support for information seeking in Digital Libraries (DL). Several systems have been proposed. Most of them have serious drawback...
184
click to vote
SG
2005
Springer
15 years 12 months ago
2005
Springer
We describe an immersive music visualization application which enables interaction between a live musician and a responsive virtual character. The character reacts to live performa...
161
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
Web services have emerged as a new paradigm that supports loosely-coupled distributed systems in service discovery and service execution. Next generation web services will evolve ...