Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Rekha Redamalla"'
Publikováno v:
International Journal of Safety & Security Engineering; Dec2023, Vol. 13 Issue 6, p1077-1082, 6p
Publikováno v:
RAIRO - Theoretical Informatics and Applications. 46:231-259
Taking the view that infinite plays are draws , we study Conway non-terminating games and non-losing strategies . These admit a sharp coalgebraic presentation, where non-terminating games are seen as a final coalgebra and game contructors, such as di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::beb4df5f3599bcf9e69d701714715caf
https://doi.org/10.1051/ita/2012001
https://doi.org/10.1051/ita/2012001
Autor:
Rekha Redamalla, Ch. M.H. Saibaba
Publikováno v:
International Journal of Computer Applications. 27:27-30
Data Mining is the process of extracting hidden patterns from data. Finding frequent itemsets is computationally the most expensive step in association rule discovery . The Efficient Hashing Tree (EHT) algorithm is even faster than Apriori and FPgrow
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f614e16df9502225ae00c51c0633920
https://doi.org/10.5120/3296-4502
https://doi.org/10.5120/3296-4502
Publikováno v:
Mathematical Structures in Computer Science. 17:647-673
We extend the coalgebraic account of specification and refinement of objects and classes in object-oriented programming given by Reichel and Jacobs to(generalised) binary methods. These are methods that take more than one parameter of a class type. C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fadff9ad55592271fa35ed0cfa6fcc0
https://doi.org/10.1017/s0960129507006214
https://doi.org/10.1017/s0960129507006214
Publikováno v:
International Journal of Intelligent Engineering & Systems; 2018, Vol. 11 Issue 6, p199-208, 10p
Publikováno v:
Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 9783540201014
LPAR
LPAR
We study a class of “wave-style” Geometry of Interaction (GoI) λ-models based on the category Rel of sets and relations. Wave GoI models arise when Abramsky’s GoI axiomatization, which generalizes Girard’s original GoI, is applied to a trace
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::345e2fdabd85411270ea6f2a99f2787f
http://hdl.handle.net/11390/737489
http://hdl.handle.net/11390/737489
Publikováno v:
Electronic Notes in Theoretical Computer Science. :163-180
Fickle is a class-based object oriented imperative language, which extends Java with object re-classification. In this paper, we introduce a natural observational equivalence on Fickle programs. This is a contextual equivalence on main methods with r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1de27681583eaa758147c6b9a1e89545