Sciweavers

5675 search results - page 388 / 1135
» Formalising Performative Interaction
Sort
View
CMSB
2004
Springer
16 years 7 days ago
Brane Calculi
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here a...
Luca Cardelli
NIME
2001
Springer
190views Music» more  NIME 2001»
15 years 11 months ago
Tangible Music Interfaces using Passive Magnetic Tags
The technologies behind passive resonant magneticallycoupled tags are introduced and their application as a musical controller is illustrated for solo or group performances, inter...
Joseph A. Paradiso, Kai-yuh Hsiao, Ari Y. Benbasat
ICMCS
2000
IEEE
99views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Hardware/Software Co-design for Real-Time Physical Modeling
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
Benjamin Bishop, Thomas P. Kelliher, Mary Jane Irw...
ICIA
2007
15 years 9 months ago
User Constructed Data Integration via Mixed-Initiative Design
Administrators frequently perform data integration “by hand” on the desktop as part of the execution of administrative tasks. This position paper discusses the application of ...
Anthony Tomasic, John Zimmerman, Ian Hargraves, Ro...
LREC
2010
206views Education» more  LREC 2010»
15 years 8 months ago
DICIT: Evaluation of a Distant-talking Speech Interface for Television
The EC-funded project DICIT developed distant-talking interfaces for interactive TV. The final DICIT prototype system processes multimodal user input by speech and remote control....
Timo Sowa, Fiorenza Arisio, Luca Cristoforetti