2074 search results - page 370 / 415 » Generating Abstract User Interfaces from an Informal Design |
FAC
2007
14 years 9 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
VRST
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we introduce an interdisciplinary project, involving researchers from the fields of Physical Therapy, Computer Science, Psychology, Communication and Cell Neurobiol...
ICVS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In recent years, distributed computer vision has gained a lot of attention within the computer vision community for applications such as video surveillance and object tra...
WINE
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We study the use of viral marketing strategies on social networks that seek to maximize revenue from the sale of a single product. We propose a model in which the decisio...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...