Sciweavers

132 search results - page 4 / 27
» Coding Varied Behavior Types Using the Crowd
Sort
View
IAT
2010
IEEE
13 years 4 months ago
Using a Social Orientation Model for the Evolution of Cooperative Societies
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...
Kan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana ...
KDD
2009
ACM
227views Data Mining» more  KDD 2009»
14 years 6 months ago
User grouping behavior in online forums
Online forums represent one type of social media that is particularly rich for studying human behavior in information seeking and diffusing. The way users join communities is a re...
Xiaolin Shi, Jun Zhu, Rui Cai, Lei Zhang
ECCV
2006
Springer
14 years 8 months ago
Tracking Dynamic Near-Regular Texture Under Occlusion and Rapid Movements
We present a dynamic near-regular texture (NRT) tracking algorithm nested in a lattice-based Markov-Random-Field (MRF) model of a 3D spatiotemporal space. One basic observation use...
Wen-Chieh Lin, Yanxi Liu
ICFP
2010
ACM
13 years 7 months ago
Logical types for untyped languages
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
Sam Tobin-Hochstadt, Matthias Felleisen
CAV
2010
Springer
154views Hardware» more  CAV 2010»
13 years 10 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett