13603 search results - page 98 / 2721 » On the Computational Complexity of Cut-Reduction |
161
click to vote
ACL
2010
15 years 4 months ago
2010
Hierarchical HMM (HHMM) parsers make promising cognitive models: while they use a bounded model of working memory and pursue incremental hypotheses in parallel, they still achieve...
161
click to vote
CSCW
2012
ACM
14 years 1 months ago
2012
ACM
Though toolkits exist to create complex crowdsourced workflows, there is limited support for management of those workflows. Managing crowd workers and tasks requires significant i...
225
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
—Motion sensing input devices like Microsoft’s Kinect offer an alternative to traditional computer input devices like keyboards and mouses. Daily new applications using this in...
184
click to vote
SI3D
1997
ACM
15 years 10 months ago
1997
ACM
Registration (or alignment) of the synthetic imagery with the real world is crucial in augmented reality (AR) systems. The data from user-input devices, tracking devices, and imag...
141
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
Abstract Bernard Chazelle Department of Computer Science Princeton University Burton Rosenberg Department of Mathematics and Computer Science Dartmouth College We give a lower bou...