3061 search results - page 171 / 613 » interactions 2010 |
140
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
Current mobile browser capabilities make it possible to quickly develop advanced mobile location based services without having to write device specific software, or build custom h...
157
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
We introduce a novel technique for comparing graphs using the structure of their subgraphs, which we call a graph's fine structure. Our technique compares graphs using the ear...
134
click to vote
HRI
2010
ACM
15 years 10 months ago
2010
ACM
—Much effort has focused in recent years on developing more life-like robots. In this paper we propose a model of memory for robots, based on human digital memories, though our m...
150
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
136
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we tried to focus on some of the problems with the mobile keypad and text entering in these devices, and tried to give some possible suggestions. We mainly took some...