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...
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, ...
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...
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...
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...