نتایج جستجو برای: اتین c
تعداد نتایج: 1056546 فیلتر نتایج به سال:
فرض کنیم $sigma(x)$, گردایه همه زیرجبرهایی از $c(x)$ شامل $c^*(x)$ باشد. مطالعه ایدآل ها در $c(x)$ بستگی به این حقیقت دارد که اگر $i$ یک ایدآل سره در $c(x)$ باشد, آنگاه $z(i)$ یک $z$ -پالایه روی $x$ است. اما این مساله در زیرجبر دلخواه $a(x)in sigma(x)$ لزوما صادق نیست. ما در این پایان نامه, با فرض این که $x$ یک فضای {f تیخونف }باشد, یک نوع جدید از ایدآل ها در $a(x)...
فرض کنیم c_f (x)ساکل c(x) باشد. نشان می دهیم که هر ایده ال اول در c(x)/(c_f (x)) اساسی است برای هر ،h?c(x) ثابت می کنیم هر ایده ال اول از c(x)/h اساسی است اگر وتنها اگر مجموعه z(h) از صفر مجموعه های h شامل نقاط منفرد نباشد. ثابت شده است که dimc(x)? dimc(x)/c_f (x) که dimc(x) بعد گلدی c(x) می باشد. و نامساوی ممکن است اکید باشد. همچنین به ویژگیهای جبری فضاهای فشرده با حداکثر نقاط منفرد شمار...
In this paper, we describe a system which is capable of utilizing a variety of knowledge sources to select the most appropriate parse for a spoken sentence. These knowledge sources include syntax, semantics, and contextual information. We discuss one way to utilize contextual information when determining the parse for a sentence. At its simplest level, the system can be thought of as a general-...
Current state and perspectives of development of the theory of timed languages are analyzed. A large list of open problems is suggested. 1 Why study timed systems? In most cases computer science deals with sequences of events or actions (we will call them behaviors). Powerful formalisms have been developed to express sets or trees of such sequences (various automata, grammars, expressions, proc...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید