نتایج جستجو برای: poem
تعداد نتایج: 3130 فیلتر نتایج به سال:
The forms of Chinese classic poetry have been developed through thousands years of history and are still current in today’s poetry society. A re-classification of the rhyming words, however, is necessary for the classic poetry writing to be done in the new settings of modern Chinese language. In order to maintain the continuation of the poetry forms, computing technology can be used to help the...
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to store trace systems, which allows sharing common prefixes among traces and therefore, reduces memory cost. This structure is easy to extend to incorporate additional features. Two applications are shown in the paper: An ...
This essay grew from a talk I gave on the occasion of the seventieth anniversary of the Chinese Mathematical Society. I dedicate the lecture to the memory of my teacher S. S. Chern who had passed away half a year before (December 2004). During my graduate studies, I was rather free in picking research topics. I [724] worked on fundamental groups of manifolds with non-positive curvature. But in ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید