Sciweavers

4966 search results - page 335 / 994
» its 2010
Sort
View
205
Voted
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...
CSCW
2010
ACM
16 years 3 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
CSCW
2010
ACM
16 years 3 months ago
Egalitarians at the gate: one-sided gatekeeping practices in social media
Although Wikipedia has increasingly attracted attention for its in-depth and timely coverage of breaking news stories, the social dynamics of how Wikipedia editors process breakin...
Brian Keegan, Darren Gergle
155
Voted
CVPR
2010
IEEE
16 years 3 months ago
Reading Between The Lines: Object Localization Using Implicit Cues from Image Tags
Current uses of tagged images typically exploit only the most explicit information: the link between the nouns named and the objects present somewhere in the image. We propose to ...
Sung Ju Hwang, University of Texas, Kristen Grauma...
ACHI
2010
IEEE
16 years 1 months ago
A Simulation Framework for Human-Robot Interaction
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
Norbert Schmitz, Jochen Hirth, Karsten Berns