Sciweavers

718 search results - page 111 / 144
» On Defaults in Action Theories
Sort
View
CHI
2007
ACM
14 years 9 months ago
Modeling human performance of pen stroke gestures
This paper presents a quantitative human performance model of making single-stroke pen gestures within certain error constraints in terms of production time. Computed from the pro...
Xiang Cao, Shumin Zhai
CHI
2005
ACM
14 years 9 months ago
Deciphering visual gist and its implications for video retrieval and interface design
How do people make sense of a video based on viewing a few frames of that video? What elements constitute the "visual gist" in their minds? Answers to these questions wi...
Meng Yang, Gary Marchionini
CSCW
2010
ACM
14 years 5 months ago
An empirical study of critical mass and online community survival
There is general consensus that critical mass at inception ensures the sustained success of online communities. However, no clear understanding of what constitutes such a 'cr...
Daphne R. Raban, Mihai Moldovan, Quentin Jones
INFOCOM
2009
IEEE
14 years 3 months ago
Analysis of Adaptive Incentive Protocols for P2P Networks
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
Ben Q. Zhao, John C. S. Lui, Dah-Ming Chiu
LICS
2009
IEEE
14 years 3 months ago
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
Jérôme Leroux