Találati lista | Tudóstér

001-es BibID:	BIBFORM005741
Első szerző:	Farkas János
Cím:	Approximating the Euclidean circle in the square grid using neighbourhood sequences / János Farkas, Szabolcs Baják, Benedek Nagy
Dátum:	2006
Megjegyzések:	Distance measuring is a very important task in digital geometry and digital image processing. Due to our natural approach to geometry we think of the set of points that are equally far from a given point as a Euclidean circle. Using the classical neighbourhood relations on digital grids, we get circles that greatly differ from the Euclidean circle. In this paper we examine different methods of approximating the Euclidean circle in the square grid, considering the possible motivations as well. We compare the perimeter-, area-, curve- and noncompactness-based approximations and examine their realization using neighbourhood sequences. We also provide a table which summarizes our results, and can be used when developing applications that support neighbourhood sequences.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban digital geometry
Megjelenés:	Pure Mathematics and Applications. - 17 : 3-4 (2006), p. 309-322. -
További szerzők:	Baják Szabolcs (1981-) (alkalmazott matematikus) Nagy Benedek (1973-) (informatikus, matematikus)
Internet cím:	elektronikus változat elektronikus változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM005745
Első szerző:	Kudlek, Manfred
Cím:	Distances of languages / Manfred Kudlek, Benedek Nagy
Dátum:	2006
Megjegyzések:	In this article we consider various concepts of distances between formal languages. Distances based on symmetric differences of languages are shown such as distances based on descriptions of languages. Neighbourhood criteria among languages give the possibility to use distances based on neighbourhood sequences. There are well-known distance functions among words, they also can be basis of distances of languages.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban digital geometry formal languages
Megjelenés:	Pure Mathematics and Applications. - 17 (2006), p. 349-357. -
További szerzők:	Nagy Benedek (1973-) (informatikus, matematikus)
Internet cím:	elektronikus változat elektronikus változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM044149
Első szerző:	Pásztor Varga Katalin (matematikus)
Cím:	Comparison and usability of two rewriting systems for theorem proving / Pásztor Varga Katalin, Várterész Magda
Dátum:	2002
Megjegyzések:	Eötvös Loránd Tudományegyetem - Általános Számítástudományi Tanszék In this paper two rewriting systems for logical formulas are regarded. One of them is suggested by A. Dragálin [1], the other by M. Fitting [2]. Both of them are based on the duality of the logical connectives conjunction and disjunction. By these methods the formulas can be rewritten into disjunctive normal form (DNF) and conjunctive normal form (CNF) to take them usable forthe tableau and for the resolution calculus. The equivalent power of these methods is shown also. As in every step both rewriting methods result a so-called generalized DNF or CNF, it is possible to execute the steps of the theorem proving and rewriting algorithms not separately [4]. We suggest a formula complexity controlled algorithm allowing more powerful usability for these rewriting systems in theorem proving. The pp method [1] handles symbolic dual operations in a general way but therecursive rewriting [2] treats the logical connectives after the unified notation of Smullyan [5]. It seems to be profitable to elaborate an algorithm bringing together the useful properties of both rewriting systems.An algorithm is given which uses the denotation technic of pp rewriting combined with a directed strategy to get into a plus or point normal form. Some simplification is executed during the algorithm and a reduced normal form is obtained.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:	Pure Mathematics and Applications. - 13 : 1-2 (2002), p. 293-302. -
További szerzők:	Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:	Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM042988
Első szerző:	Pásztor-Varga Katalin
Cím:	Usability of some theorem proving systems / Katalin Pásztor-Varga, Magda Várterész
Dátum:	2004
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban logic theorem proving
Megjelenés:	Pure Mathematics and Applications. - 15 : 2-3 (2004), p. 273-284. -
További szerzők:	Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:	Szerző által megadott URL Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: