Problem solving based on knowledge representation and program synthesis

QR kód

Problem solving based on knowledge representation and program synthesis

Elmentve itt :

Bibliográfiai részletek
Szerző:	Lavrov Svâtoslav Sergeevič
Dokumentumtípus:	Cikk
Megjelent:	1986
Sorozat:	Acta cybernetica 7 No. 4
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12411

Hasonló tételek

Cutting plane methods for solving nonconvex programming problems
Szerző: Forgó Ferenc
Megjelent: (1972)

Demonstration of a problem-solving method
Szerző: Nyéky-Gaizler Judit, et al.
Megjelent: (1995)

An Extensive Study on Model Architecture and Program Representation in the Domain of Learning-based Automated Program Repair
Szerző: Horváth Dániel, et al.
Megjelent: (2023)

Automaton theory approach for solving modified PNS problems
Szerző: Imreh Balázs
Megjelent: (2002)

The optimistic and cautious semantics for inconsistent knowledge bases
Szerző: Grant John, et al.
Megjelent: (1995)

On solving a Huff-type facility location and design problem [abstract] /
Szerző: Tóth Boglárka, et al.
Megjelent: (2004)

The basic problem of vehicle scheduling can be solved by maximum bipartite matching
Szerző: Árgilán Viktor Sándor, et al.
Megjelent: (2014)

Integer merge model representation of the graph colouring problem [abstract] /
Szerző: Juhos István
Megjelent: (2004)

Solving problems in epidemiology using Physics-Informed Neural Networks [abstract] /
Szerző: Shoukat Affan
Megjelent: (2024)

Solving the 1-median problem on a network with continuous demand and demand surplus
Szerző: Blanquero R., et al.
Megjelent: (2023)

Prospects on solving an optimal control problem with bounded uncertainties on parameters using interval arithmetic
Szerző: Bertin Etienne, et al.
Megjelent: (2021)

An approach to automata schemes synthesis
Szerző: Podkolzin Aleksandr Sergeevič, et al.
Megjelent: (1988)

On decision-mappings related to process network synthesis problem
Szerző: Blázsik Zoltán, et al.
Megjelent: (1998)

On a merging reduction of the process network synthesis problem
Szerző: Holló Csaba, et al.
Megjelent: (1999)

A Program Synthesis Dataset for LLM Temperature Analysis
Szerző: Ságodi Zoltán, et al.
Megjelent: (2025)

On a merging reduction of the process network synthesis problem [abstract] /
Szerző: Holló Csaba, et al.
Megjelent: (1998)

A knowledge-based approach to raster-vector conversion of large scale topographic maps
Szerző: Szendrei Rudolf, et al.
Megjelent: (2011)

Towards abstraction-based probabilistic program analysis
Szerző: Szekeres Dániel, et al.
Megjelent: (2024)

Automatic test purpose generation based on formal grammar representation of communication protocols [abstract] /
Szerző: Gőgös Barnabás
Megjelent: (2000)

On ±l-representations of integers
Szerző: Demetrovics János, et al.
Megjelent: (1999)

Investigation of binary representations of SAT especially 2-literal representation [abstract] /
Szerző: Kusper Gábor
Megjelent: (2002)

On bottleneck and k-sum versions of the Process Network Synthesis problems
Szerző: Blázsik Zoltán, et al.
Megjelent: (2000)

A note on the equivalence of the set covering and process network synthesis problems
Szerző: Imreh Balázs, et al.
Megjelent: (2000)

Component-based error detection of P4 programs
Szerző: Tóth Gabriella, et al.
Megjelent: (2021)

Computer-based intelligent educational program for teaching chemistry
Szerző: Pántya Róbert, et al.
Megjelent: (2008)

An AST-Based Code Change Representation and Its Performance in Just-in-Time Vulnerability Prediction
Szerző: Aladics Tamás, et al.
Megjelent: (2023)

Enhanced macrostep-based debugging methodology for parallel programs [abstract] /
Szerző: Lovas Róbert, et al.
Megjelent: (2002)

Footvector representation of curves and surfaces
Szerző: Valasek Gábor, et al.
Megjelent: (2021)

Metric representations by vi-products
Szerző: Gécseg Ferenc
Megjelent: (1985)

Implemeting a component-based tool for interactive synthesis of UML statechart diagrams
Szerző: Koskinen Johannes, et al.
Megjelent: (2002)

A programming environment for a transputer-based multiprocessor system
Szerző: Aspnäs Mats, et al.
Megjelent: (1990)

Representation of automaton mappings in finite length
Szerző: Gécseg Ferenc
Megjelent: (1976)

Rational representation of forests by tree automata
Szerző: Maróti György
Megjelent: (1977)

On isomorphic representation of nondeterministic tree automata
Szerző: Imreh Balázs
Megjelent: (1995)

Isomorphic representation of nondeterministic nilpotent automata
Szerző: Székely Ildikó
Megjelent: (1998)

On isomorphic representations of generalized definite automata
Szerző: Gécseg Ferenc, et al.
Megjelent: (2001)

ϵ-sparse representations generalized sparse approximation and the equivalent family of SVM tasks /
Szerző: Szabó Zoltán, et al.
Megjelent: (2006)

Speech Synthesis from Text and Ultrasound Tongue Image-based Articulatory Input
Szerző: Csapó Tamás Gábor, et al.
Megjelent: (2021)

Integer programming based optimization of power consumption for data Center Networks
Szerző: Kovásznai Gergely, et al.
Megjelent: (2024)

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /
Szerző: Bunyik Karina, et al.
Megjelent: (2010)