Commit Graph

97 Commits (master)

Author SHA1 Message Date
Aaron Huber bca52a1af5 Misc. changes; change X to U in intro example, adjust appendix for S.3 and S.4 changes, etc. 2022-06-03 12:11:54 -04:00
Aaron Huber c02c70bb86 Migrated back to default spacing for table/caption figures; added macro to adjust if needed. 2022-05-31 11:28:15 -04:00
Aaron Huber 5c75ee728a Decreased length of caption for Lower Bounds table; capitalized the title; adjusted spacing of captions on figures. 2022-05-27 09:17:57 -04:00
Aaron Huber 167623ab98 Adjustbox on Intensional Query Evaluation Figure for the table row with two circuits. 2022-05-26 07:54:24 -04:00
Boris Glavic 347cca2f7d shorter 2022-05-21 14:50:36 +02:00
Aaron Huber dbb14420db Minor tweaks on appendix D. 2022-05-11 10:10:51 -04:00
Aaron Huber 1cbcf4c927 Some changes to proof for Sample Monomial, probability bound for approximation algo. 2022-05-03 10:03:54 -04:00
Aaron Huber af69943c00 Switched to \document[sigconf]{acmart} for PODs submission. 2022-03-14 12:29:22 -04:00
Aaron Huber 580e6876fb Fixed lemma 4.8 proof per @atri 030722 comments. 2022-03-08 20:26:18 -05:00
Aaron Huber 4b91bc5c91 Attempted a work around for the broken background color when using \underbrace in lstlisting environment; it's better, but needs tweaking. 2022-02-23 21:19:48 -05:00
Aaron Huber 1e27058b0c Addressed @oliver and @atri comments 021822, readied the paper for Pablo. 2022-02-22 22:16:29 -05:00
Aaron Huber d8ac368a1a Rehashing the Intro for arxiv upload. 2022-01-11 11:35:45 -05:00
Aaron Huber e2ff978944 Fixed OnePass example to use the correct variable names as in the figure. 2021-10-05 11:18:21 -04:00
Aaron Huber 26faebbdf5 Started rebuttal doc. Started adjusting S3 in appendix. 2021-09-16 11:47:02 -04:00
Aaron Huber 17b1afb954 Finished incorporating @atri write up changes to S2, S4, S5 2021-09-15 12:18:44 -04:00
Aaron Huber fa241123d5 Finished S2 pass. 2021-09-08 12:17:19 -04:00
Aaron Huber e760af60cd Fixed small bug with compilation. 2021-09-03 10:36:41 -04:00
Atri Rudra 0a047ae507 Manually replaced the intro with one without conflict statements in it 2021-08-26 23:25:32 -04:00
Atri Rudra 1470b61276 Switched to my version of intro 2021-08-26 23:08:17 -04:00
Aaron Huber 99cf4a38e1 New title. 2021-08-23 12:45:25 -04:00
Aaron Huber 3ae41e6d8b Added rebuttal document 'rebuttal.tex' as the last section of the appendix 2021-08-20 09:51:38 -04:00
Aaron Huber 00cb43ba37 Finished iteration of Intro after 070921 discussion. 2021-07-15 12:00:02 -04:00
Aaron Huber c9f0f8689c Restructuring Intro based on 070921 conversation. 2021-07-13 14:00:42 -04:00
Aaron Huber e3e5f6ee13 Finished implementing @atri's 070221 changes. 2021-07-07 10:31:35 -04:00
Aaron Huber 42d44a6c4b More changes to two step computation figure. 2021-07-01 11:32:16 -04:00
Aaron Huber f0b7d5d968 More work on two step figure. 2021-06-30 11:12:47 -04:00
Aaron Huber 4cf2dd7c31 Added figures to the revised intro 2021-06-25 10:38:59 -04:00
Aaron Huber bb378db2aa Finished main parts of first iteration Intro Rewrite 2021-06-24 11:09:14 -04:00
Aaron Huber 8eddb23e60 More changes, added Introduction (previous/current) outlines. 2021-06-17 15:21:34 -04:00
Aaron Huber 95a311565b More changes to notation, etc. 2021-06-11 11:22:58 -04:00
Aaron Huber e995de8666 New acknowledgements section after references. 2021-04-10 10:11:31 -04:00
Boris Glavic dd62648583 cref 2021-04-10 08:48:26 -05:00
Boris Glavic 91df6a3e5e Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2021-04-10 08:45:52 -05:00
Aaron Huber 5875e1f2ed Unpushed changes including acknowledgements 2021-04-10 09:41:59 -04:00
Boris Glavic 31c57d5b8f small 2021-04-10 08:40:43 -05:00
Oliver Kennedy b1792a70ba
Simplifying discussion of N[X]-DBs 2021-04-09 00:07:33 -04:00
Oliver Kennedy 345d95b651
Read through: Space, grammar, notation fixes 2021-04-07 01:02:46 -04:00
Aaron Huber 75b9e6a020 Restructured file system for appendix. 2021-04-06 11:43:34 -04:00
Boris Glavic 1481e3b1f9 up 2021-04-06 09:16:09 -05:00
Boris Glavic 487b22f6b2 intro 2021-04-06 08:50:42 -05:00
Aaron Huber 9c410fa3b8 Started proof for |C|(1,...,1) 2021-03-31 23:02:13 -04:00
Aaron Huber 7f77653e1b Finished my first past implementing Reviewer Suggestions. 2021-03-10 13:28:04 -05:00
Aaron Huber 4a55032435 Changed to ICDT format. 2021-03-06 20:34:18 -05:00
Aaron Huber 814a0278fd Changes to S 2.4 (from etrees to circuits) 2021-01-27 17:28:53 -05:00
Oliver Kennedy 163d4007f4
Updating ACM stylesheet and cleaning up the nastier consequences 2020-12-20 19:07:41 -05:00
Boris Glavic 0dbf75ebba shorten 2020-12-19 15:44:18 -06:00
Boris Glavic 9b9b575f6a one line authors 2020-12-19 15:08:09 -06:00
Aaron Huber f04846020d Pulled more S2 material into the appendix 2020-12-19 15:04:14 -05:00
Boris Glavic 22e5af76db split related work 2020-12-19 08:32:58 -06:00
Boris Glavic 61b46da038 Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2020-12-19 00:21:03 -06:00