Skip to content
<title>Channels - Multiple Instance Verification :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Multiple Instance Verification
Search for more channels:
Similar Items: Multiple Instance Verification
Channel Options
View Record
Explore related channels
Quick Look
Multiple Instance Verification
Quick Look
Multiple Instance Verification
Quick Look
Multiple Instance Verification
Quick Look
Instance reducibility and Weihrauch degrees
Quick Look
Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator
Quick Look
Quantitative Verification with Neural Networks
Quick Look
Verification of Flat FIFO Systems
Quick Look
Modularising Verification Of Durable Opacity
Quick Look
Comparator automata in quantitative verification
Quick Look
Solution independence and self-referential instances
Quick Look
Adversarial Erasing Enhanced Multiple Instance Learning (siMILe): Discriminative Identification of Oligomeric Protein Structures in Single Molecule Localization Microscopy
Quick Look
Automated Verification of Practical Garbage Collectors
Quick Look
Modeling and Verification of Infinite Systems with Resources
Quick Look
Cloud spot instance price prediction using NN regression
Quick Look
TAMIS: Golden-Model-Free EM Trojan Detection via Temperature-Aware Multi-Instance Segmentation and Clustering
Quick Look
Robust sequential recommender based on identifying and rectifying unreliable instances
Quick Look
Specification and Verification of Timing Properties in Interoperable Medical Systems
Quick Look
A proof system for graph (non)-isomorphism verification
Quick Look
A case study on parametric verification of failure detectors
Quick Look
Verification for Timed Automata extended with Unbounded Discrete Data Structures
Quick Look
Compositional Verification for Timed Systems Based on Automatic Invariant Generation
Quick Look
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Quick Look
On the Distribution of Unweighted Minimum Knapsack Instances with Large SOS Rank
Quick Look
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
Load more items
View Record
Prev
Explore related channels
Next
