Sciweavers

2737 search results - page 449 / 548
» interaction 2009
Sort
View
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
16 years 4 days ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
VW
2009
Springer
217views Virtual Reality» more  VW 2009»
16 years 4 days ago
Collaboration in 3D Shared Spaces Using X3D and VRML
—We propose a framework for visual and haptic collaboration in 3D shared virtual spaces. Virtual objects can de declared as shared objects which visual and physical properties ar...
Lei Wei, Alexei Sourin, Herbert Stocker
WAW
2009
Springer
147views Algorithms» more  WAW 2009»
16 years 4 days ago
A Dynamic Model for On-Line Social Networks
We present a deterministic model for on-line social networks based on transitivity and local knowledge in social interactions. In the Iterated Local Transitivity (ILT) model, at ea...
Anthony Bonato, Noor Hadi, Paul Horn, Pawel Pralat...
WOLLIC
2009
Springer
16 years 4 days ago
Deep Inference in Bi-intuitionistic Logic
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
Linda Postniece
ATAL
2009
Springer
16 years 4 days ago
Learning a model of speaker head nods using gesture corpora
During face-to-face conversation, the speaker’s head is continually in motion. These movements serve a variety of important communicative functions. Our goal is to develop a mod...
Jina Lee, Stacy Marsella