نتائج البحث

Formal Verification of Tree Ensembles against Real-World Composite Geometric Perturbations

• Authors : Colaco, Valency, Doktorand; Nadjm-Tehrani, Simin, 1958

Subjects: Machine Learning; Formal Verification; Tree Ensembles

• Source: Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023) CEUR Workshop

تفاصيل العنوان

Energy Modeling of Hoeffding Tree Ensembles

• Authors : García Martín, Eva; Bifet, Albert; Lavesson, Niklas, Professor, 1976

Subjects: Energy efficiency; Energy utilization; Forestry

• Source: Intelligent Data Analysis. 25(1):81-104

تفاصيل العنوان

Energy modeling of Hoeffding tree ensembles

• Authors : García-Martín, E.; Bifet, A.; Lavesson, Niklas, Professor, 1976

Subjects: Data stream mining; Energy efficiency; Ensembles

• Source: Intelligent Data Analysis. 25(1):81-104

تفاصيل العنوان

Formal Verification of Tree Ensembles in Safety-Critical Applications

• Authors : Törnblom, John, 1984;

Subjects: Formal verification; Machine learning; Tree ensembles

• Source: Linköping Studies in Science and Technology. Licentiate Thesis.

تفاصيل العنوان

Memory-efficient Global Refinement of Decision-Tree Ensembles and its Application to Face Alignment

• Authors : Markus, Nenad; Gogic, Ivan; Pandžic, Igor

• Source: Proceedings of BMVC 2018 and Workshops. :1-11

تفاصيل العنوان

Formal Verification of Input-Output Mappings of Tree Ensembles

• Authors : Törnblom, John, 1984; Nadjm-Tehrani, Simin, 1958

Subjects: Formal verification; Decision tree; Tree ensemble

• Source: Science of Computer Programming. 194

تفاصيل العنوان

Fast facial expression recognition using local binary features and shallow neural networks

• Authors : Gogic, Ivan; Manhart, Martina; Pandzic, Igor S.

Subjects: Facial expression recognition; Neural networks; Decision tree ensembles

• Source: The Visual Computer. 36(1):97-112

تفاصيل العنوان

Tree canopy extent and height change in Europe, 2001–2021, quantified using Landsat data archive

• Authors : Turubanova, Svetlana; Potapov, Peter; Hansen, Matthew C.

Subjects: Europe; Forest; Forest change

• Source: Remote Sensing of Environment MERGE: ModElling the Regional and Global Earth system BECC: Biodiversity and Ecosystem services in a Changing Climate. 298

تفاصيل العنوان

Tree canopy extent and height change in Europe, 2001-2021, quantified using Landsat data archive

• Authors : Valbuena, Ruben; Sveriges lantbruksuniversitet, Originator

Subjects: Environmental Sciences; Miljövetenskap; Remote Sensing

• Source: Remote Sensing of Environment. 298

تفاصيل العنوان

Supervised learning approaches to modeling pedestal density

• Authors : Kit, A.; Jarvinen, A. E.; Frassinetti, Lorenzo

Subjects: machine learning; fusion; pedestal

• Source: Plasma Physics and Controlled Fusion. 65(4)

تفاصيل العنوان