Sciweavers

6614 search results - page 199 / 1323
» Semantics of Information as Interactive Computation
Sort
View
ENTCS
2008
123views more  ENTCS 2008»
15 years 6 months ago
A Chart Semantics for the Pi-Calculus
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
Johannes Borgström, Andrew D. Gordon, Andrew ...
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
16 years 7 months ago
Iconizer: A Framework to Identify and Create Effective Representations for Visual Information Encoding
concept form search query vision confirm consensus refine search query graphics VIE-designer image objects image objects Visual Sign (VIE) run search query words images Iconizer:...
Supriya Garg, Tamara Berg, Klaus Mueller
CHI
2008
ACM
16 years 7 months ago
Twend: twisting and bending as new interaction gesture in mobile devices
In this work we present a hardware prototype that uses bending gestures as input for a mobile device and experimental setups that compare possible gestures with other, more tradit...
Gero Herkenrath, Thorsten Karrer, Jan Borchers
186
Voted
IJSI
2010
84views more  IJSI 2010»
15 years 5 months ago
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zu...
CHI
2007
ACM
16 years 7 months ago
A study of emergency response work: patterns of mobile phone interaction
This paper presents descriptive accounts of time-critical organizing in the domain of emergency response. Patterns of mobile phone interaction in such work is analyzed showing how...
Jonas Landgren, Urban Nulden