MLINFO COLLECTION

外観検査・欠陥検出

製品画像、顕微鏡画像、表面欠陥を対象に、分類・検出・セグメンテーションを選ぶための導線です。

関連する論文・実装

25 / 50
arxiv

Optimal Path Planning with Localization constraints

This paper studies UAV path planning in areas where GPS signals are not present. Because these drones can easily get lost when they don't have GPS, they must rely on dead reckoning and occasionally…

reinforcement-learning
arxiv

Hammering with Vampire in Lean

We present Vampire-Hammer, a hammer for the Lean interactive theorem prover that discharges goals using the Vampire automated theorem prover and reconstructs proofs checked by the Lean kernel.…

computer-vision