Photo from wikipedia
Sign Up to like & get
recommendations!
1
Published in 2020 at "Science China Information Sciences"
DOI: 10.1007/s11432-019-2929-9
Abstract: API recommendation is a promising approach which is widely used during software development. However, the evaluation of API recommendation is not explored with sufficient rigor. The current evaluation of API recommendation mainly focuses on correctness,…
read more here.
Keywords:
recommendation;
api recommendation;
evaluation;
correctness ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2018 at "Medical Teacher"
DOI: 10.1080/0142159x.2017.1396309
Abstract: The recent publication in Medical Teacher (Rangel et al. 2017), in addition to several other publications within the past few months has highlighted an increase in interest in assessments that include students giving item level…
read more here.
Keywords:
interaction correctness;
correctness certainty;
certainty mcq;
certainty ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2020 at "Social Work Education"
DOI: 10.1080/02615479.2020.1831466
Abstract: The imagined community of social workers provides a collective resemblance to the individual construction of the correctness of performance of social work. This paper aims to understand the influen...
read more here.
Keywords:
work;
influence imagined;
imagined community;
social work ... See more keywords
Sign Up to like & get
recommendations!
0
Published in 2019 at "International Journal of Injury Control and Safety Promotion"
DOI: 10.1080/17457300.2018.1515229
Abstract: Abstract This study assessed the completeness of the Major Trauma Registry of Navarra (MTR-N) data and their concordance with the patients’ medical files. It retrospectively reviewed all the MTR-N cases documented in June and July…
read more here.
Keywords:
major trauma;
completeness;
trauma registry;
correctness ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2022 at "IT Professional"
DOI: 10.1109/mitp.2021.3093949
Abstract: Hybrid MPI–OpenMP applications employ message-passing interface (MPI)-enabled process-level, distributed computations on many compute nodes in conjunction with OpenMP shared-memory, thread-level parallelism for the most efficient computation. This poses challenges on the dynamic MPI correctness tool…
read more here.
Keywords:
mpi openmp;
openmp;
mpi;
correctness ... See more keywords
Photo from wikipedia
Sign Up to like & get
recommendations!
2
Published in 2023 at "IEEE Transactions on Dependable and Secure Computing"
DOI: 10.1109/tdsc.2022.3178836
Abstract: Callbacks are an essential mechanism for event-driven programming. Unfortunately, callbacks make reasoning challenging because they introduce behaviors where calls to the module are interleaved. We present a parametric method that, from a particular invariant of…
read more here.
Keywords:
effective callback;
callback freedom;
callback;
callback free ... See more keywords
Photo from wikipedia
Sign Up to like & get
recommendations!
1
Published in 2022 at "IEEE Transactions on Robotics"
DOI: 10.1109/tro.2023.3271568
Abstract: We consider a certifiable object pose estimation problem, where -- given a partial point cloud of an object -- the goal is to not only estimate the object pose, but also to provide a certificate…
read more here.
Keywords:
pose estimation;
correctness;
object pose;
estimation ... See more keywords
Photo from wikipedia
Sign Up to like & get
recommendations!
0
Published in 2020 at "ACM Transactions on Cyber-Physical Systems"
DOI: 10.1145/3322129
Abstract: Coordinated vehicles for intelligent traffic management are instances of cyber-physical systems with strict correctness requirements. A key building block for these systems is the ability to establish a group membership view that accurately captures the…
read more here.
Keywords:
view correctness;
view;
detection verification;
correctness ... See more keywords
Sign Up to like & get
recommendations!
0
Published in 2021 at "PLoS ONE"
DOI: 10.1371/journal.pone.0254764
Abstract: Background As healthcare-related data proliferate, there is need to annotate them expertly for the purposes of personalized medicine. Crowdworking is an alternative to expensive expert labour. Annotation corresponds to diagnosis, so comparing unlabeled records to…
read more here.
Keywords:
task;
uncertainty;
triplet annotation;
duration ... See more keywords