Sciweavers

2713 search results - page 26 / 543
» Designing Personal Tele-Embodiment
Sort
View
FMICS
2007
Springer
14 years 1 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
14 years 1 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
14 years 1 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
SEMWEB
2007
Springer
14 years 1 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
AH
2006
Springer
14 years 1 months ago
Adaptive Patient Education Framework Featuring Personalized Cardiovascular Risk Management Interventions
Abstract. The PULSE project objectives are to generate and evaluate a webbased personalized educational intervention for the management of cardiovascular risk. We present a web-bas...
Selena Davis, Syed Sibte Raza Abidi