1398 search results - page 63 / 280 » Ensuring Properties of Interaction Systems |
148
click to vote
AIML
2004
15 years 5 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
236
click to vote
AUGHUMAN
2010
15 years 2 months ago
2010
In this paper we describe a prototype Tangible User Interface (TUI) for interactive storytelling that explores the semantic properties of tangible interactions using the fictional...
139
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Near field communication (NFC) is a short-range wireless protocol that allows users to connect devices and access content and services by simply holding enabled devices near each ...
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Complete interaction testing of components is too costly in all but the smallest systems. Yet component interactions are likely to cause unexpected faults. Recently, design of exp...
103
Voted
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...