3228 search results - page 420 / 646 » Computationally Sound Proofs |
132
Voted
ICMI
2009
Springer
15 years 10 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...
149
Voted
TLCA
2009
Springer
15 years 10 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...
119
Voted
ACMACE
2009
ACM
15 years 10 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...
110
Voted
ACHI
2008
IEEE
15 years 10 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...
119
Voted
CVPR
2008
IEEE
15 years 10 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...