|
Nyíregyházi Egyetem Tudományos Elektronikus Adattár >
Természettudományi és Informatikai Kar >
Matematika és Informatika Intézet >
Matematika Intézet - Konferenciacikkek >
Ezzel az azonosítóval hivatkozhat erre a dokumentumra forrásmegjelölésben vagy hiperhivatkozás esetén:
https://tea.nye.hu/handle/123456789/42
|
| Besorolás: | Paper of lecture or poster |
| Jelleg: | Scientific |
| Szerzők: | Vályi, Sándor
Nagy, Benedek |
| Cím: | Interval-valued computing as a visual reasoning system |
| Utolsó oldal : | 250 |
| A könyv szerkesztője: | Fishwick, Paul
Zhang, Kang |
| Könyv címe: | Proc. 13th Int. Conf. On Distributed Multimedia Systems ; International Workshop on Visual Languages and Computing |
| Kiadó : | Knowledge Systems Institute Digital Arts and Sciences Lab, UF and Visual Computing Lab, UT-Dallas |
| Kiadás helye: | San Francisco, USA |
| Megjelenés éve /(ideje): | 2007 |
| Oldalszám: | 4 |
| ISBN: | ISBN 1-891706-21-7 |
| Konferencia címe: | 13th Int. Conf. On Distributed Multimedia Systems ; International Workshop on Visual Languages and Computing |
| Megrendező szervezet: | Knowledge System Intstitute |
| Ország: | USA |
| Város: | San Francisco Bay |
| Konferencia típusa: | International |
| Konferencia kezdete: | 6-sze-2007 |
| Konferencia vége: | 8-sze-2007 |
| Nyelv: | en |
| URI : | http://hdl.handle.net/123456789/42 |
| Kulcsszavak: | visual reasoning
interval-valued computing |
| Absztrakt: | We show the visual reasoning power of a recently developed
unconventional computing model – the so-called
interval-valued computing. It bears not only a high evidence
of power in visual representation of Boolean algebraic
calculations to show validity of propositional logical
laws but also a natural way of faithful visual following of
the process of the solution of a typical PSPACE-complete
problem, namely, determining validity of quantified propositional
formulæ. |
| Megjegyzés: | Konferencia webcíme: http://www.ksi.edu/seke/dms07.html |
| Ebben a gyűjteményben: | Matematika Intézet - Konferenciacikkek
|
Minden dokumentum, ami a TEA rendszerben szerepel, szerzői jogokkal védett. Minden jog fenntartva!
|
