Sciweavers

2713 search results - page 34 / 543
» Personal e-moviemaker design
Sort
View
FMICS
2007
Springer
15 years 4 months ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...
ICCHP
2004
Springer
15 years 3 months ago
Investigations to Develop a Fully Adjustable Intelligent Toilet for Supporting Old People and Persons with Disabilities - The Fr
Abstract. The FRR (Friendly Rest Room) project creates and evaluates prototypes of a more user friendly intelligent toilet for old persons and for persons with disabilities. Additi...
Paul Panek, Georg Edelmayer, Charlotte Magnusson, ...
OZCHI
2006
ACM
15 years 4 months ago
Transient life: collecting and sharing personal information
Millions of people post personal information on the internet, yet the actual information varies greatly. Some pieces are extremely brief, others are highly detailed. Some focus on...
Stephanie Smale, Saul Greenberg
ATAL
2006
Springer
15 years 1 months ago
Toward an understanding of the impact of software personal assistants on human organizations
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...
Steven Okamoto, Paul Scerri, Katia P. Sycara
SEMWEB
2007
Springer
15 years 4 months ago
Web Search Personalization Via Social Bookmarking and Tagging
Abstract. In this paper, we present a new approach to web search personalization based on user collaboration and sharing of information about web documents. The proposed personaliz...
Michael G. Noll, Christoph Meinel