... We will dwell on linguistic aspects and Lexical Resources of POLITEXT branch having in mind some intermediate semantic representation of a whole text as the basis for differentiated Information Extraction. It is personal data (in the social sphere) recognition in texts that we focus on, see (Leontyeva et al. ... As the main instrument of semantic analysis of coherent texts this dictionary bears the important information on how to build BTF-units starting from lexemes of SemDict entries. ...

Еще в разделе: (Показать все результаты (>4) - leontyeva.srcc.msu.ru/ )

Head of sector, acting head of the Computational Geophysics Division of the M.V. Keldysh Institute for Applied Mathematics, RAS. ... Finished the Electrodynamics and Quantum Theory Department of Faculty of Physics, MSU in 1962. ... Ill-posed problems, stochastic processes, theory of approximation. Mechanics and physics of multi-phase media, phenomena in porous media, difference schemes for some classes of mathematical physics problems (filtration, elasticity theory). ...

Еще в разделе: (Показать все результаты (>2) - compmech.math.msu.su/ )

... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ­ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } «», «bbb» -- , : · ­ , , · ­ , , · ­ , · ­ . ... 1977 ­ LTL, · , 1981 ­ (CTL), · , , 1981 , , 1982 ­ model checking ( ), · , 1986 ­ model checking ( ), · , 1989 ­ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

344. У студентов кризис веры - Публикации ВШГА МГУ.

345. Описание вычислительного комплекса IBM Blue Gene/P | hpc@cmc