This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
Thorsten Bohnenberger, Boris Brandherm, Barbara Gr...
HCI has many challenges and internal debates (for example, where is our theory? What is the role of design in HCI? What is the relationship between research and practice? How do w...
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...
Shifts in the culture of civic engagement, technologies and practices surrounding social media, and pressure from political leaders have ignited a movement amongst gov’t agencie...
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...