Wolska, M., Kruijff-Korbayová, I.: Factors influencing input styles in tutoring systems: the case of the study-material presentation format. In: 23rd Annual Conference of the Cognitive Science Society, Edinburgh, Scotland (2001) Rosé, C.P., et al.: A comparative evaluation of socratic versus didactic tutoring. In: Proceedings of the 2005 International Conference on Active Media Technology, Takamatsu, Japan, p. Van der Hoeven, J., et al.: The TeXmacs manual (1999-2006), īillingsley, W., Robinson, P.: Towards an intelligent online textbook for discrete mathematics. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. 1579–1582 (2000)Īnthony, L., et al.: Student question-asking patterns in an intelligent algebra tutor. In: Proceedings 2nd International Conference on Language Resources and Evaluation, Athens, Greece, pp. Munteanu, C., Boldea, M.: MDWOZ: A Wizard of Oz environment for dialog systems development. Klemmer, S.R., et al.: Suede: a wizard of oz prototyping tool for speech user interfaces. In some cases, it is possible to use parametrization to. In: Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), Genoa, Italy, ELDA, to appear (2006) In cases when TeXmacs keyboard shortcuts are superseded by shortcuts from the operating system, equivalents for the keyboard modifiers can be obtained using. case was shown by Eulers proof to have no solutions, and the (2,4,4) case was shown by Fermat. Springer, Heidelberg (2004)īenzmüller, C., et al.: A corpus of tutorial dialogs on theorem proving the influence of the presentation of the study-material. I just finished a major project (thesis) using TeXmacs, and I wanted to. 471–481 (2003)įiedler, A., Gabsdil, M., Horacek, H.: A tool for supporting progressive refinement of wizard-of-oz experiments in natural language. In: Proceedings of AI in Education (AIED 2003) Workshop on Advanced Technologies for Mathematics Education, Sydney, Australia, pp. 12–22 (2003)īenzmüller, C., et al.: A Wizard of Oz experiment for tutorial dialogues in mathematics. The Texas Tribune is using data from the Texas Department of State. In: Proceedings of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, pp. Coronavirus in Texas: Track hospitalizations, vaccinations, cases and deaths. Knowledge-Based Systems 6(4), 258–266 (1993)īenzmüller, C., et al.: Tutorial dialogs on mathematical proofs. 39–50 (2001)ĭahlbäck, N., Jönsson, A., Ahrenberg, L.: Wizard of Oz studies – Why and how. (ed.) Le document au XXI-ième siècle, Actes du congrès GUTenberg, Metz, vol. 39-40, pp. Van der Hoeven, J.: GNU TeXmacs: A free, structured, wysiwyg and technical text editor. Kim, J.H., Glass, M.: Evaluating dialogue schemata with the Wizard of Oz computer-assisted algebra tutor. Computer Speech and Language 5, 81–99 (1991) If not, write to the Free Softwareġ3 : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.Fraser, N.M., Gilbert, G.N.: Simulating speech systems. You should have received a copy of it, alongġ2 : with the package see the file 'COPYING'. It is distributed in the hope that it will be useful, but WITHOUTġ1 : Check the License for details. 2 :ģ : This file is part of the PARI/GP package.ĥ : PARI/GP is free software you can redistribute it and/or modify it under theĦ : terms of the GNU General Public License as published by the Free Softwareħ : Foundation either version 2 of the License, or (at your option) any laterĨ : version. Line data Source code 1 : /* Copyright (C) 2000 The PARI group. Top level - gp - texmacs.c (source / functions) (given that branches depending on DEBUGLEVEL The target is to exceed 90% coverage for all mathematical modules
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |