3228 search results - page 420 / 646 » Computationally Sound Proofs |
183
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Floor control is a scheme used by people to organize speaking turns in multi-party conversations. Identifying the floor control shifts is important for understanding a conversati...
193
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
154
click to vote
ACMACE
2009
ACM
16 years 1 months ago
2009
ACM
We propose an umbrella-like device called Funbrella that entertains people with many types of rain by focusing on an umbrella as a user interface that connects humans and rain. Ge...
152
click to vote
ACHI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we evaluate the safety of the driver when using an embedded communication device while driving. As a part of our research, four different tasks were preformed with t...
167
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Inspired by Weber's Law, this paper proposes a simple, yet very powerful and robust local descriptor, Weber Local Descriptor (WLD). It is based on the fact that human percept...