Sciweavers

1152 search results - page 159 / 231
» Task-Based User Modelling for Knowledge Work Support
Sort
View
CASES
2009
ACM
14 years 2 months ago
CheckerCore: enhancing an FPGA soft core to capture worst-case execution times
Embedded processors have become increasingly complex, resulting in variable execution behavior and reduced timing predictability. On such processors, safe timing specifications e...
Jin Ouyang, Raghuveer Raghavendra, Sibin Mohan, Ta...
ISW
2007
Springer
14 years 2 months ago
Strongly-Secure Identity-Based Key Agreement and Anonymous Extension
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
Sherman S. M. Chow, Kim-Kwang Raymond Choo
EUROCOLT
1999
Springer
14 years 10 days ago
Learning Range Restricted Horn Expressions
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
Roni Khardon
AAAI
1996
13 years 9 months ago
Deciding to Remind During Collaborative Problem Solving: Empirical Evidence for Agent Strategies
Previous work suggests that reminding a conversational partner of mutually known information depends on the conversants' attentional state, their resource limits and the reso...
Pamela W. Jordan, Marilyn A. Walker
IJMMS
2008
153views more  IJMMS 2008»
13 years 8 months ago
Physiology-based affect recognition for computer-assisted intervention of children with Autism Spectrum Disorder
Generally, an experienced therapist continuously monitors the affective cues of the children with Autism Spectrum Disorders (ASD) and adjusts the course of the intervention accord...
Changchun Liu, Karla Conn, Nilanjan Sarkar, Wendy ...