With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger’s “holonomic systems approach” in a broader mathematical sense...
Image-generating machine learning models are typically trained with loss functions based on distance in the image space. This often leads to over-smoothed results. We propose a cl...
Most image instance retrieval pipelines are based on comparison of vectors known as global image descriptors between a query image and the database images. Due to their success in...
Based on the assumption that there exists a neural network that efficiently represents a set of Boolean functions between all binary inputs and outputs, we propose a process for ...
Whether parity games can be solved by a polynomial-time algorithm is a well-studied problem which has not yet been resolved. In this talk we propose a new direction for approachin...