نتایج جستجو برای: algorithmic language
تعداد نتایج: 463176 فیلتر نتایج به سال:
the effect of learning strategies on the speaking ability of iranian students in the context of language institutes abstract language learning strategies are of the most important factors that help language learners to learn a foreign language and how they can deal with the four language skills specifically speaking skill effectively. acknowledging the great impact of learning strategies...
for several years, researchers in familiarity of efl teachers with post-method and its role in second and foreign language learners’ productions have pointed out that the opportunity to plan for a task generally develops language learners’ development (ellis, 2005). it is important to mention that the critical varies in language teaching was shown is the disappearances of the concept of method ...
Java Music Specification Language (JMSL) is a new Javabased development tool for experiments in algorithmic composition, live performance, and intelligent instrument design. JMSL is the evolutionary successor to the Hierarchical Music Specification Language (Polansky, Rosenboom, and Burk, 1987). While HMSL was Forthbased, JMSL is written in Java. JMSL's features include: x Stylistically neutral...
Artificial Intelligence (AI) often outperforms human doctors in terms of decisional speed. For some diseases, the expected benefit a fast but less accurate decision exceeds slow more one. In such cases, we argue, it is justified to rely on medical AI maximise speed – even if than doctors.
an investigation into oral interaction in language classes: a conversation analytic point of view the aim of this thesis is to analyze the interaction between language teachers and students in english language institutes. this work is done in the context of yasuj city. learning another language, which is in most cases english, involves many variables. one of these variables is the linguistic...
A logic program is an executable specification. For example, merge sort in pure Prolog is a logical formula, yet shows creditable performance on long linked lists. But such executable specifications are a compromise: the logic is distorted by algorithmic considerations, yet only indirectly executable via an abstract machine. This paper introduces relational programming, a method that solves the...
We describe a computer-aided veriication system which combines deductive with algorithmic (model-checking) veriication methods. The system, called tlv (for temporal veriication system), is constructed as an additional layer superimposed on top of the cmu smv system, and can verify nite-state systems relative to linear temporal logic (ltl) as well as ctl speciications. The systems to be veriied ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید