Semi−Automatic Revision of Formalized Knowledge

Semi−Automatic Revision of Formalized Knowledge

Podrobná bibliografie
Hlavní autor:	Nikitina, N
Médium:	Conference item
Vydáno:	IOS Press 2010

Podobné jednotky

Reasoning-Supported Interactive Revision of Knowledge Bases.
Autor: Nikitina, N, a další
Vydáno: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Autor: Nikitina, N, a další
Vydáno: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Autor: Nikitina, N, a další
Vydáno: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Autor: Nikitina, N, a další
Vydáno: (2011)

Reasoning−Supported Interactive Revision of Knowledge Bases
Autor: Nikitina, N, a další
Vydáno: (2011)

Semi-Automated Formalization and Representation of the Engineering Knowledge Extracted From Spreadsheet Data
Autor: Aleksandr Yu. Yurin, a další
Vydáno: (2021-01-01)

Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems
Autor: Raja Oueslati, a další
Vydáno: (2018-01-01)

Farmer knowledge as formal knowledge:
Autor: Erin Nelson, a další
Vydáno: (2023-08-01)

Semi-Formal Rules As a Factor in the Dynamics of the Efficiency of Formal Rules of Financial Monitoring
Autor: Volosnikova Nataliia M., a další
Vydáno: (2023-01-01)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
Autor: Kroening, D, a další
Vydáno: (2005)

Automatic and semi-automatic gearboxes for heavy comercial vehicles
Autor: Institution of Mechanical Engineers (Great Britain)
Vydáno: (1978)

A Semi-Automatic Ontology Development Framework for Knowledge Transformation of Construction Safety Requirements
Autor: Zhijiang Wu, a další
Vydáno: (2025-02-01)

A Formal Specification of an Automatic Train Protection System
Autor: Simpson, A
Vydáno: (1994)

Real-time systems : formal specification and automatic verification /
Autor: 273586, a další
Vydáno: (2008)

The synthesis of structural diagrams of automatic devices on formal neurons
Autor: Natalia L. Malinina
Vydáno: (2023-12-01)

Formalizing Fado: A Contribution to Automatic Song-Making
Autor: Tiago Gonzaga Videira, a další
Vydáno: (2017-03-01)

Wrapster : semi-automatic wrapper generation for semi-structured websites
Autor: Zaccak, Gabriel (Gabriel Gabra)
Vydáno: (2008)

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
Autor: Cavarra, A, a další
Vydáno: (2004)

Automatic and semi-automatic program evaluation specifics in IT maturity exam
Autor: Bronius Skūpas
Vydáno: (2010-12-01)

Interactive Ontology Revision
Autor: Nikitina, N, a další
Vydáno: (2012)

Educación expandida en clave formal y no formal: una revisión de la literatura académica
Autor: Alejandro Uribe Zapata
Vydáno: (2019-09-01)

Semi-formal address in Slovenian in the light of older written sources
Autor: Alenka Jelovšek
Vydáno: (2015-07-01)

Semi-automatic medical image segmentation
Autor: O'Donnell, Lauren (Lauren Jean), 1976-
Vydáno: (2014)

Semi−automatic epicardial border tracking
Autor: Casero−Cañas, R, a další
Vydáno: (2005)

Semi-automatic parallel parking system.
Autor: Farrita, Nur Erniwati, a další

Semi-Automatic Determination of Rockfall Trajectories
Autor: Axel Volkwein, a další
Vydáno: (2014-09-01)

pinktoe: Semi-automatic Traversal of Trees
Autor: Guy Nason
Vydáno: (2005-01-01)

Neuromantic - from semi manual to semi automatic reconstruction of neuron morphology
Autor: Darren eMyatt, a další
Vydáno: (2012-03-01)

Semi-Automatic Dataset Annotation Applied to Automatic Violent Message Detection
Autor: Beatriz Botella-Gil, a další
Vydáno: (2024-01-01)

El El surf en la educación formal: revisión sistemática (Surfing in formal education: systematic review)
Autor: Mikel Pérez-Gutiérrez, a další
Vydáno: (2021-07-01)

Formal Ontologies and Uncertainty. In Geographical Knowledge
Autor: Matteo Caglioni, a další
Vydáno: (2014-05-01)

Formalizing Knowledge Creation in Inventive Project Groups. The Malleability of Formal Work Methods
Autor: Arne Prahl
Vydáno: (2003-08-01)

The evaluation of a semi-automatic authoring tool for knowledge extraction in the AC&amp;NL Tutor
Autor: Ani Grubišić, a další
Vydáno: (2023-08-01)

About Formal Normal Form of the Semi-Hyperbolic Maps Germs on the Plane
Autor: P. A. Shaikhullina
Vydáno: (2021-12-01)

SME´s semi-formality rate in Costa Rica: a clusters approach
Autor: Lizette Brenes Bonilla, a další
Vydáno: (2016-02-01)

Semi-empirical many-body formalism of optical absorption in nanosystems and molecules
Autor: Antoine Honet, a další
Vydáno: (2021-07-01)

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
Autor: Simpson, A
Vydáno: (1995)

Automatic construction and verification algorithm for smart contracts based on formal verification
Autor: Rui Xie, a další
Vydáno: (2024-11-01)

Formal Specification Based Automatic Test Generation for Embedded Network Systems
Autor: Eun Hye Choi, a další
Vydáno: (2014-01-01)

Invariants of Automatic Presentations and Semi−Synchronous Transductions
Autor: Barany, V
Vydáno: (2006)