Sciweavers

543 search results - page 5 / 109
» A Theory of the Quasi-Static World
Sort
View
COLING
1994
14 years 11 months ago
Dynamic Logic With Possible World
This paper introduces a semantic theory I)I,PW, l)ynamic l,ogic with Possible World, which extends Groenendijk's I)PI, and Cresswell's Indices Semantics. The semantics c...
Ruzhan Lu
AINA
2009
IEEE
15 years 4 months ago
The Small-World Model for Amino Acid Interaction Networks
—In this paper we introduce the notion of protein interaction network. This is a graph whose vertices are the protein’s amino acids and whose edges are the interactions between...
Omar Gaci, Stefan Balev
TPHOL
2009
IEEE
15 years 4 months ago
Let's Get Physical: Models and Methods for Real-World Security Protocols
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
David A. Basin, Srdjan Capkun, Patrick Schaller, B...
HICSS
2007
IEEE
122views Biometrics» more  HICSS 2007»
15 years 3 months ago
Learning Conversations in World of Warcraft
We examine learning culture in a popular online game, World of Warcraft. We analyze the way players learn this complex game through chat conversation with peers. We describe three...
Bonnie A. Nardi, Stella Ly, Justin Harris
CHI
2011
ACM
14 years 1 months ago
Informing decisions: how people use online rating information to make choices
In this paper we investigate how people use online rating information to inform decision making. We examine whether a theory of searching for information to discriminate between a...
Stelios Lelis, Andrew Howes