Sciweavers

6614 search results - page 330 / 1323
» Semantics of Information as Interactive Computation
Sort
View
COORDINATION
2010
Springer
15 years 4 months ago
Efficient Session Type Guided Distributed Interaction
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Zi...
CHI
2009
ACM
16 years 7 months ago
Touch and toys: new techniques for interaction with a remote group of robots
Interaction with a remote team of robots in real time is a difficult human-robot interaction (HRI) problem exacerbated by the complications of unpredictable realworld environments...
Cheng Guo, James Everett Young, Ehud Sharlin
173
Voted
FOSSACS
2003
Springer
16 years 12 hour ago
Manipulating Trees with Hidden Labels
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
VL
2006
IEEE
105views Visual Languages» more  VL 2006»
16 years 24 days ago
Crossmodal Interaction with Mobile Devices
This paper describes an alternative form of interaction for mobile devices using crossmodal output. These crossmodal displays allow alternative senses such as hearing and touch to...
Eve E. Hoggan, Stephen A. Brewster
MHCI
2009
Springer
16 years 1 months ago
Improving the accessibility of NFC/RFID-based mobile interaction through learnability and guidance
NFC and RFID technologies have found their way into current mobile phones and research has presented a variety of applications using NFC/RFID tags for interaction between physical...
Gregor Broll, Susanne Keck, Paul Holleis, Andreas ...