1302 search results - page 79 / 261 » Soundness in the Public-Key Model |
187
click to vote
AIEDU
2006
15 years 6 months ago
2006
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
155
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a dereverberation method based on I-divergence minimization, which is particularly suitable for music signals. Existing dereverberation methods, including one ...
138
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
In this study a self-steering beamformer with binaural output for a head-worn microphone array is investigated in simulated and realworld conditions. The influence of the underly...
193
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
191
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
- A phoneme-acquisition system was developed using a computational model that explains the developmental process of human infants in the early period of acquiring language. There a...