Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture.

Siddhartha Gadgil Anand Rao Tadipatri

Published in: CPP (2024)

Keyphrases

neural network
decision making
database
real world
artificial intelligence
information systems
image segmentation
bayesian networks
pattern recognition
domain knowledge
processing units