891 search results - page 156 / 179 » Natural exploration of 3D models |
CSFW
1999
IEEE
14 years 1 days ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
JAIR
2010
13 years 6 months ago
2010
In the usual models of cooperative game theory, the outcome of a coalition formation process is either the grand coalition or a coalition structure that consists of disjoint coali...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Modern presentation software is still built around interaction metaphors adapted from traditional slide projectors. We provide an analysis of the problems in this application genr...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Non-verbal behavior, particularly gaze, is a crucial part of human communication. To interact with humans in a rich, natural way, social interfaces need to use this communicative ...
MOBIHOC
2008
ACM
14 years 7 months ago
2008
ACM
We present BEND, a MAC layer solution to practical network coding in multi-hop wireless networks. It is the first exploration of the broadcasting nature of wireless channels to pr...