Sciweavers

557 search results - page 32 / 112
» From User Requirements to Tasks Descriptions in Real-Time Sy...
Sort
View
CSCW
2012
ACM
12 years 3 months ago
Collaboratively crowdsourcing workflows with turkomatic
Preparing complex jobs for crowdsourcing marketplaces requires careful attention to workflow design, the process of decomposing jobs into multiple tasks, which are solved by multi...
Anand Pramod Kulkarni, Matthew Can, Björn Har...
ISM
2005
IEEE
127views Multimedia» more  ISM 2005»
14 years 1 months ago
Distributed User Interface Elements to support Smart Interaction Spaces
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
Kris Luyten, Karin Coninx
ENTCS
2006
153views more  ENTCS 2006»
13 years 7 months ago
Automatic Complexity Analysis for Programs Extracted from Coq Proof
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
Jean-Pierre Jouannaud, Weiwen Xu
WWW
2006
ACM
14 years 8 months ago
Visualizing tags over time
We consider the problem of visualizing the evolution of tags within the Flickr (flickr.com) online image sharing community. Any user of the Flickr service may append a tag to any ...
Micah Dubinko, Ravi Kumar, Joseph Magnani, Jasmine...
VR
2000
IEEE
127views Virtual Reality» more  VR 2000»
13 years 12 months ago
Physically-based Manipulation on the Responsive Workbench
This paper describes how a physical simulation can be integrated with our Responsive Workbench system to support complex assembly tasks involving multiple hands and users. Our sys...
Bernd Fröhlich, Henrik Tramberend, Andrew C. ...