635 search results - page 38 / 127 » Towards the formalization of interaction semantics |
ICCHP
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we present a study which aims at designing a locomotion assistance device that can deliver semantic information about its surrounding environment at any time. As a ...
IJCAI
2001
15 years 1 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
100
click to vote
APLAS
2010
ACM
15 years 20 hour ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
INTERACT
2007
15 years 1 months ago
2007
Nowadays, accessibility is a crucial factor for Web site development and use, and yet, people with visual disabilities face many accessibility barriers that hinder the adequate un...
128
click to vote
ACSD
2001
IEEE
15 years 3 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...