2629 search results - page 161 / 526 » complex 2009 |
94
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
This project will demonstrate a new approach to employing users' gaze in the context of human-computer interaction. This new approach uses gaze passively in order to improve ...
CHI
2009
ACM
16 years 1 months ago
2009
ACM
What happens to human-computer "interaction" when the human user is no longer alive? This exploratory paper uses insights from the critical humanist tradition to argue f...
114
Voted
EACL
2009
ACL Anthology
16 years 1 months ago
2009
ACL Anthology
We present novel parsing algorithms for several sets of mildly non-projective dependency structures. First, we define a parser for well-nested structures of gap degree at most 1, ...
PODC
2009
ACM
16 years 1 months ago
2009
ACM
We define and study the bandwidth determination problem in adhoc P2P environments. Using point-to-point bandwidth probes, the goal is to quickly determine each host's upload ...
92
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...