Sciweavers

4250 search results - page 255 / 850
» Interactive technologies for autism
Sort
View
CHI
2010
ACM
16 years 2 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...
ITNG
2007
IEEE
16 years 1 months ago
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moul...
EUC
2005
Springer
16 years 23 days ago
Object Reminder and Safety Alarm
This paper introduces a novel approach to enhancing safety through RFID technology, location tracking, and monitoring person-object interaction. We design and develop RFID-based we...
Chi-yau Lin, Chia-nan Ke, Shao-you Cheng, Jane Yun...
NORDICHI
2004
ACM
16 years 20 days ago
Wolves, football, and ambient computing: facilitating collaboration in problem solving systems through the study of human and an
This paper describes how computer-human interaction in ambient computing environments can be best informed by conceptualizing of such environments as problem solving systems. Typi...
David W. Eccles, Paul T. Groth