CCL

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

1.

001-es BibID:BIBFORM086345
Első szerző:Basbous, Raed
Cím:Short Circuit Evaluations in Gödel Type Logic / Raed Basbous, Benedek Nagy, Tibor Tajti
Dátum:2015
ISSN:2194-5357
Megjegyzések:Short circuit evaluation techniques play important roles in hardware design, programming and other fields of computer science. In this paper one of the most known and used fuzzy logic system, the Gödel logic is considered. Various pruning algorithms are presented to quicken the evaluations of logical formulae in Gödel logic. Simulation results show the efficiency of the presented techniques.
ISBN:978-3-319-27211-5
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
könyvrészlet
Pruning techniques
logic
Many valued logic
Formula trees
Fast evaluation
Fuzzy logic
Megjelenés:Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015) / ed. Vadlamani Ravi, Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan. - p. 119-138. -
További szerzők:Nagy Benedek (1973-) (informatikus, matematikus) Tajti Tibor Gábor (1970-) (informatikus)
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM086342
Első szerző:Basbous, Raed
Cím:Fast evaluations in product logic various pruning techniques / Raed Basbous, Tibor Tajti, Benedek Nagy
Dátum:2016
Megjegyzések:Short circuit, short cut, or by other name, lazy evaluations play important roles in various fields of computer science including logic, hardware design, programming, decision making. In this paper, one of the best known and used fuzzy logic systems, the product logic is considered. The evaluation of lots of formulae can be quickened by various pruning techniques by discovering which remaining part of the formula has no influence on the final result for various reasons. The presented techniques can be seen as generalizations of short circuit evaluations in Boolean logic and also of alpha-beta pruning of game trees.
ISBN:978-1-5090-0625-0
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
könyvrészlet
pruning techniques
formula trees
fast evaluation
fuzzy logic
many valued logic
lazy evaluations
Megjelenés:2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). - p. 140-147. -
További szerzők:Tajti Tibor Gábor (1970-) (informatikus) Nagy Benedek (1973-) (informatikus, matematikus)
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM086340
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Lazy evaluations in Łukasiewicz type fuzzy logic / Benedek Nagy, Raed Basbous, Tibor Tajti
Dátum:2019
ISSN:0165-0114
Megjegyzések:Lazy evaluations are playing important roles in various fields of computer science including hardware design, programming, decision making. In this paper one of the most known and used fuzzy logic system, the ükasiewicz logic is considered. Pruning algorithms are presented to quicken the evaluations of logical formulae in ükasiewicz logic by cutting out those branches of the formula tree that have no influence on the final result for some reasons. Correctness of the algorithm is also proven. ? 2018 Elsevier B.V. All rights reserved.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Non-classical logics
Pruning algorithms
Formula trees
Fast evaluation
Fuzzy logic
Many valued logic
Lazy evaluations
Megjelenés:Fuzzy Sets And Systems. - 376 (2019), p. 127-151. -
További szerzők:Basbous, Raed Tajti Tibor Gábor (1970-) (informatikus)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM086512
Első szerző:Tajti Tibor Gábor (informatikus)
Cím:Motion sensor data correction using multiple sensors and multiple measurements / Tibor Tajti, Benedek Nagy
Dátum:2017
Megjegyzések:In the information technology more and more computing devices have several sensors which can provide lot of data we can use for specific purposes. The newest mobile phones or the Internet of Things (IoT) devices can have many kinds of sensors like temperature, barometric, light, magnetic, acceleration. The sensors of these popular devices are in lack of expensive calibration and provide useful but not very precise data. In this article we are examining some algorithms and technics to get more accurate information from the noisy input data. Our test case is the use of acceleration data provided by mobile phone acceleration sensors. The purpose in this case is to achieve a level where the acceleration data can be used for position estimation. For this we are examining filtering algorithms and the using multiple sensors to get higher precision results.
ISBN:978-1-4673-8740-8
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
könyvrészlet
sensor
data correction
Megjelenés:SAMI 2016 IEEE 14th International Symposium on Applied Machine Intelligence and Informatics : Proceedings : January 21-23, 2016, Herl'any, Slovakia. - p. 287-291. -
További szerzők:Nagy Benedek (1973-) (informatikus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1