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

1.

001-es BibID:BIBFORM002866
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
ISSN:1613-0073
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:Műszaki tudományok Informatikai tudományok előadáskivonat
könyvrészlet
interval-valued computing
unconvential computing
Megjelenés:Visual Languages and Logic / ed. 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
Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.