Multi-target prediction: a unifying view on problems and methods
Sign Up to like & getrecommendations! Published in 2018 at "Data Mining and Knowledge Discovery"
DOI: 10.1007/s10618-018-0595-5
Abstract: Many problem settings in machine learning are concerned with the simultaneous prediction of multiple target variables of diverse type. Amongst others, such problem settings arise in multivariate regression, multi-label classification, multi-task learning, dyadic prediction, zero-shot… read more here.
Keywords: target prediction; problems methods; unifying view; prediction ... See more keywords
A Unifying View on SMT-Based Software Verification
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9432-6
Abstract: After many years of successful development of new approaches for software verification, there is a need to consolidate the knowledge about the different abstract domains and algorithms. The goal of this paper is to provide… read more here.
Keywords: software verification; smt based; verification; unifying view ... See more keywords