Sciweavers

4482 search results - page 364 / 897
» The Crowdsourcing Design Space
Sort
View
CHI
2007
ACM
16 years 7 months ago
Range: exploring proxemics in collaborative whiteboard interaction
Range is an interactive whiteboard designed to support collocated, ad-hoc meetings. It employs proximity sensing to proactively transition between ambient and authoring modes, cle...
Wendy Ju, Brian Lee, Scott R. Klemmer
ICCAD
2005
IEEE
121views Hardware» more  ICCAD 2005»
16 years 3 months ago
Transition-by-transition FSM traversal for reachability analysis in bounded model checking
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wo...
ICCAD
2003
IEEE
114views Hardware» more  ICCAD 2003»
16 years 3 months ago
A Novel Geometric Algorithm for Fast Wire-Optimized Floorplanning
As the size and complexity of VLSI circuits increase, the need for faster floorplanning algorithms also grows. In this work we introduce Traffic, a new method for creating wire- a...
Peter G. Sassone, Sung Kyu Lim
HICSS
2009
IEEE
111views Biometrics» more  HICSS 2009»
16 years 1 months ago
Signs: Increasing Expression and Clarity in Instant Messaging
Despite its popularity, commercial instant messaging has changed little in the past 15 years. Conversations are linear, immutable, and susceptible to errors in turn-taking and ref...
Aaron Zinman, Judith S. Donath
CHI
2009
ACM
16 years 1 months ago
See you on the subway: exploring mobile social software
This project explores the social possibilities of mobile technology in transitional spaces such as public transport. Based on a cultural probes study of Stockholm subway commuters...
Nicolas Belloni, Lars Erik Holmquist, Jakob Tholan...