4325 search results - page 527 / 865 » Incremental computation with names |
189
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
This paper summarizes value analysis of adopting technologysupported attendance control service in a primary school. The results are based on a case study that explored a 14-week ...
146
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Pervasive communications are increasingly sent over mobile devices and personal digital assistants. This trend has been observed during the last football world cup where cellula...
165
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Large displays and hand gestures can be combined to augment the traditional desktop paradigm, allowing for multiple co-located users to interact simultaneously with a single compu...
214
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
205
Voted
ACCV
2007
Springer
16 years 29 days ago
2007
Springer
Action recognition is a popular and important research topic in computer vision. However, it is challenging when facing viewpoint variance. So far, most researches in action recogn...