|
Nyíregyházi Egyetem Tudományos Elektronikus Adattár >
Természettudományi és Informatikai Kar >
Matematika és Informatika Intézet >
Matematika Intézet - Folyóiratcikkek >
Ezzel az azonosítóval hivatkozhat erre a dokumentumra forrásmegjelölésben vagy hiperhivatkozás esetén:
https://tea.nye.hu/handle/123456789/66
|
| Besorolás: | Proceedings paper |
| Jelleg: | Scientific |
| Szerzők: | Vályi, Sándor
Nagy, Benedek |
| Cím: | Visual reasoning by generalized interval-values and interval temporal logic |
| Folyóirat címe: | CEUR Workshop Proceedings |
| Kötet/Évfolyam: | 274 |
| Füzet/Szám: | 1 |
| Utolsó oldal : | 26 |
| Megjelenés éve /(ideje): | 2007 |
| Oldalszám: | 14 |
| ISSN: | 1613-0073 |
| Nyelv: | en |
| URI : | http://hdl.handle.net/123456789/66 |
| Kulcsszavak: | interval-valued computing
visual reasoning |
| Absztrakt: | Interval-valued computation is an unconventional computing paradigm. It is an idealisation of classical 16-,
32-, 64- etc. bit based computations. It represents data as speci¯c subsets of the unit interval { in this
sense this paradigm is classi¯ed 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 quanti¯ed propositional formulae is fully representable in a natural visual form.
Further, we give a temporal-logical interpretation of interval-valued computations. |
| Megjegyzés: | Folyóirat interneten elérhető: http://ceur-ws.org/Vol-274/VLL07Proceedings.pdf http://ceur-ws.org/Vol-274/paper2.pdf |
| Ebben a gyűjteményben: | Matematika Intézet - Folyóiratcikkek
|
Minden dokumentum, ami a TEA rendszerben szerepel, szerzői jogokkal védett. Minden jog fenntartva!
|
