Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
saturation
Papers
Histogram and Feature Encoding Based Fake Colorized Image Detection Using Machine Learning
Yogesh Gaikwad
and
Jaishree Waghmare
EasyChair Preprint no. 6025
Responses to Overload as Foundation for a Resilient Project and Organizational Health Metric
Marisa Bigelow
,
Lisa Douglas
,
Alex Morison
,
Michael Smith
and
Jordan Haggit
EasyChair Preprint no. 5830
Integer Induction in Saturation
Petra Hozzová
,
Laura Kovács
and
Andrei Voronkov
EasyChair Preprint no. 5176
Theory Exploration: a role for Model Theory?
Alan Smaill
In
:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Copyright © 2012-2022 easychair.org. All rights reserved.