نتایج جستجو برای: help system
تعداد نتایج: 2474381 فیلتر نتایج به سال:
Abstract Treating a saturation-based automatic theorem prover (ATP) as Las Vegas randomized algorithm is way to illuminate the chaotic nature of proof search and make it amenable study by probabilistic tools. On series experiments with ATP Vampire, paper showcases some implications this perspective for evaluation.
a significant problem in multicarrier communication systems is the necessity to reduce the value of papr (peak-to-average power ratio) of transmitting signal. in this thesis we study the effect of the system parameters such as coding and modulation types on papr and ultimate ber in a mc-cdma system. in this study we consider fading channel as well as the nonlinearity of transmitter’s amplifier ...
Merlin is a collaborative concept map that enables students to discuss their ideas. The agent in Merlin aims to monitor the students’ content of discussion in order to provide context-sensitive help.
Each of the five systems approaches discussed in this volume: system dynamics (SD), the viable systems model (VSM), strategic options development and analysis (SODA), soft systems methodology (SSM) and critical systems heuristics (CSH) has a pedigree. Not in the sense of the sometimes absurd spectacle of animals paraded at dog shows. Rather, their pedigree derives from their systems foundations...
location verification system
0
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید