Sciweavers

4666 search results - page 819 / 934
» Equations on Timed Languages
Sort
View
122
Voted
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 3 months ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys
114
Voted
CTW
2008
85views more  CTW 2008»
15 years 3 months ago
Debriefing surgeons on non-technical skills (NOTSS)
Abstract Surgical trainees must maximise the educational and developmental opportunities of time spent in the operating theatre. Post-operative debriefing on performance based on o...
S. Yule, R. Flin, N. Maran, G. Youngson, A. Mitche...
136
Voted
AIEDU
2006
73views more  AIEDU 2006»
15 years 3 months ago
Using Knowledge Tracing in a Noisy Environment to Measure Student Reading Proficiencies
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...
Joseph E. Beck, June Sison
144
Voted
ENGL
2008
116views more  ENGL 2008»
15 years 3 months ago
A Low Cost Machine Translation Method for Cross-Lingual Information Retrieval
In one form or another language translation is a necessary part of cross-lingual information retrieval systems. Often times this is accomplished using machine translation systems....
David B. Bracewell, Fuji Ren, Shingo Kuroiwa
FUIN
2008
147views more  FUIN 2008»
15 years 3 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke