Sciweavers

2929 search results - page 209 / 586
» Rich Interaction: Issues
Sort
View
KI
2002
Springer
15 years 6 months ago
Empirically Grounded Decision-Theoretic Adaptation to Situation-Dependent Resource Limitations
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...
CHI
2009
ACM
16 years 7 months ago
Heat, fire and temperature: the industrial revolution and HCI
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...
David J. Gilmore
HICSS
2010
IEEE
165views Biometrics» more  HICSS 2010»
16 years 1 months ago
Taking Universal Perspective in Design: A Plea for Two Reflective Principles and Mechanisms
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...
Fahri Yetim
CHI
2010
ACM
16 years 1 months ago
Building interpretable discussions: for effective public engagement
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...
Travis Kriplean
MKM
2009
Springer
16 years 1 months ago
Combining Coq and Gappa for Certifying Floating-Point Programs
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
Sylvie Boldo, Jean-Christophe Filliâtre, Gui...