Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
Összesen 1 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
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ó:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.