Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM002036
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Visual reasoning by generalized interval-values and interval temporal logic / Benedek Nagy, Sándor Vályi
Dátum:2007
Megjegyzések:Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific subsets of the unit interval - in this sense this paradigm is classified into the continuous space machine paradigm near to optical computing. In this paper we show the visual reasoning power of interval-valued computations, namely, we demonstrate that the decision process of quantified propositional formulae is fully representable in a natural visual form. Further, we give a temporal-logical interpretation of interval-valued computations.
Tárgyszavak:Természettudományok Matematika- és számítástudományok tanulmány, értekezés
intervallum-értékű számítások
visual computing
new computing paradigms
Megjelenés:Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, Idaho, USA, 23rd September 2007 as part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07 / ed. by Philip Cox, Andrew Fish, John Howse. - p. 13-26.
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1