Sciweavers

3179 search results - page 147 / 636
» Applications of PCF Theory
Sort
View
HCI
2009
13 years 7 months ago
Towards Cognitive-Aware Multimodal Presentation: The Modality Effects in High-Load HCI
In this study, we argue that multimodal presentations should be created in a cognitive-aware manner, especially in a high-load HCI situation where the user task challenges the full...
Yujia Cao, Mariët Theune, Anton Nijholt
KDD
2012
ACM
212views Data Mining» more  KDD 2012»
12 years 16 days ago
eTrust: understanding trust evolution in an online world
Most existing research about online trust assumes static trust relations between users. As we are informed by social sciences, trust evolves as humans interact. Little work exists...
Jiliang Tang, Huan Liu, Huiji Gao, Atish Das Sarma...
CONCUR
2008
Springer
13 years 12 months ago
On the Construction of Sorted Reactive Systems
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
Lars Birkedal, Søren Debois, Thomas T. Hild...
CCR
2004
147views more  CCR 2004»
13 years 10 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
STORYTELLING
2005
Springer
14 years 3 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo