نتایج جستجو برای: were factored into consumption

تعداد نتایج: 4622826  

2005
Reiner Hähnle Neil V. Murray Erik Rosenthal

A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operates in PSPACE.Ordered factored negation normal form provides a canonical representation for any boolean function. Reduction strategies are developed that provide a unique reduced factored negation normal form. These com...

2007
Liangrong Yi Judy Goldsmith

This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertainty, and factored MDPs demonstrate great advantages in an environment where the state space is large. Given a melody, we use a factored MDP planner to fill in the other three voices, based on the characteristics of clas...

Journal: :European Journal of Combinatorics 1995

2012
Aleš Tamchyna

In the presented work we investigate factored models for machine translation. We provide a thorough theoretical description of this machine translation paradigm. We describe a method for evaluating the complexity of factored models and verify its usefulness in practice. We present a software tool for automatic creation of machine translation experiments and search in the space of possible confi...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده زبانهای خارجی 1392

the extent to which written corrective feedback on linguistic errors can play a role in helping l2 writers improve the accuracy of their writing continues to be an issue of interest to researchers and teachers since truscott (1996) mounted a case for its abolition. while there is growing empirical evidence that written corrective feedback can successfully target some types of linguistic error (...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده علوم انسانی 1391

the present study sought to investigate the impact of using mind-mapping technique instruction on female elementary efl learners reading comprehension; it also investigated their attitudes towards using mind-mapping technique as a tool to improve their reading comprehension. this study followed a quasi-experimental design with two intact groups as experimental, and control groups. the participa...

2010
Helena de Medeiros Caseli Israel Aono Nunes

Factored translation is an extension of the state-of-theart phrase-based statistical machine translation (PB-SMT). The main difference in factored translation approach is that a word is not only a token (its surface form) but a vector composed of different information such as lemma, part-of-speech or morphologic/syntactic tags. In this paper we present some experiments carried out to train and ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه سیستان و بلوچستان - دانشکده ادبیات و علوم انسانی 1390

educational researchers have provided evidence that teachers’ emotional intelligence has strong effects on various aspects of teaching and learning. yet, in the field of teaching english to speakers of other languages (tesol), inquiry into teachers’ emotional intelligence is nearly limited. given its documented powerful impact on teaching practices and student learning, it is critical to pursue...

1998
Corin R. Anderson David E. Smith Daniel S. Weld

Graphplan has attracted considerable interest because of its extremely high performance, but the algorithm's inability to handle action representations more expressive than STRIPS is a major limitation. In particular , extending Graphplan to handle conditional eeects is a surprisingly subtle enterprise. In this paper, we describe the space of possible alternatives, and then concentrate on one p...

2010
MONICA GOES EBOLI FABIO GAGLIARDI COZMAN KARINA VALDIVIA DELGADO

 The present work is motivated by the need to consider stochastic behavior when planning production mix in a manufacturing system. Because methods that are suitable for planning are not always appropriate for modeling the systems and viceversa, two methods are combined here: systems are modeled using colored Petri nets and then converted into Markov decision processes. A special type of Petri ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید