759 search results - page 94 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
ICMI
2010
Springer
13 years 8 months ago
2010
Springer
Traditionally listener response prediction models are learned from pre-recorded dyadic interactions. Because of individual differences in behavior, these recordings do not capture...
EDM
2008
13 years 11 months ago
2008
Using data from an existing pre-algebra computer-based tutor, we analyzed the covariance of item-types with the goal of describing a more effective way to assign skill labels to it...
KDD
2005
ACM
14 years 10 months ago
2005
ACM
The WHO Collaborating Centre for International Drug Monitoring in Uppsala, Sweden, maintains and analyses the world's largest database of reports on suspected adverse drug re...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
CVPR
2007
IEEE
15 years 5 days ago
2007
IEEE
Accurately identifying corresponded landmarks from a population of shape instances is the major challenge in constructing statistical shape models. In this paper, we address this ...