3690 search results - page 509 / 738 » Computation with classical sequents |
191
click to vote
ACL
2011
14 years 10 months ago
2011
Unsupervised vector-based approaches to semantics can model rich lexical meanings, but they largely fail to capture sentiment information that is central to many word meanings and...
187
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
In access-control systems, policy rules conflict when they prescribe different decisions (ALLOW or DENY) for the same access. We present the results of a user study that demonstr...
182
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We introduce dynamic physical properties as an additional degree of freedom for passive tabletop controls. Using electromagnetic actuation, we manipulate attributes of tangibles o...
188
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We present a finger-tracking system for touch-based interaction which can track 3D finger angle in addition to position, using low-resolution conventional capacitive sensors, th...
195
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
The Web provides a corpus of design examples unparalleled in human history. However, leveraging existing designs to produce new pages is often difficult. This paper introduces th...