Integration of the description logics axiomatic into relational data model за авторством Chystiakova, I.S.

Отримати повний текст

About technologies of use of external data on creating and editing of encyclopedic texts за авторством Proskudina, G.Yu., Kudim, K.A.

Отримати повний текст

Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.

Отримати повний текст

Algorithm for automatic loop parallelization for graphics processing units за авторством Doroshenko, A.Yu., Achour, I.Z.

Отримати повний текст

Software engineering ontologies categorization за авторством Sydorov, N.A., Sydorova, N.N., Mendzebrovsky, I.B.

Отримати повний текст

Unified process for adaptive Semantic Web service composition за авторством Slabospitskaya, О.A.

Отримати повний текст

Analysis of formal models and standards for structured electronic document in corporate informational system за авторством Sharypanov, A.V., Shchetynin, I.E., Ivanov, S.M.

Отримати повний текст

Transition systems as method of designing applications in GPGPU technology за авторством Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C.

Отримати повний текст

Context term calculus for rewriting systems за авторством Shevchenko, R.S.

Отримати повний текст

Extension of the program synthesis system to analyze large data sets за авторством Ovdii, O.M.

Отримати повний текст

Application of problem domain ontological description for relevantness increasing of informational retrieval за авторством Rogushina, J.V.

Отримати повний текст

Architecture of software system for hierarchical fuzzy inference за авторством Yershov, S.V., Ponomarenko, R.М..

Отримати повний текст

Use of methods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V.S., Poltoratskiy, M.

Отримати повний текст

Interactive method for cumulative analysis of software formal models behavior за авторством Kolchin, A.V.

Отримати повний текст

Formal foundations for software model to model transformation operation за авторством Chebanyuk, O.V.

Отримати повний текст

Ontological similar systems for analysis of texts of natural language за авторством Kryvyi, S.L., Darchuk, N.P., Provotar, A.I.

Отримати повний текст

Optimal placement of a multi-sensor system за авторством Pashko, S.V.

Отримати повний текст

Automated extraction of structured information from a variety of web pages за авторством Pogorilyy, S.D., Kramov, A.A.

Отримати повний текст

Predicting the Probability of Exceeding Critical System Thresholds за авторством Krammer, P., Kvassay, M., Hluchý, L.

Отримати повний текст

Specification of the process of the semantic annotation the web services за авторством Zakharova, O.V.

Отримати повний текст