issues
search
mmore500
/
hstrat-algorithm-analysis
Formal analysis of the hereditary stratigraphy algorithm
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Move all algorithms and theorems to supplement
#27
mmore500
opened
1 month ago
0
Add symbol names to algorithm titles
#26
mmore500
opened
1 month ago
0
Trim unused pseudocode helpers
#25
mmore500
opened
1 month ago
0
Fix broken crossrefs
#24
mmore500
opened
1 month ago
1
Talk about how algorithms can be combined with data structures
#23
mmore500
opened
1 month ago
0
Add major results section
#22
mmore500
opened
1 month ago
0
Crossref surface preprint
#21
mmore500
opened
1 month ago
0
Add notation section
#20
mmore500
opened
1 month ago
0
Add GSNR set definition
#19
mmore500
closed
1 month ago
0
Un-float algorithms, fix algorithm styling
#18
mmore500
closed
1 month ago
0
Parameterize kept sets with parameters
#17
mmore500
opened
1 month ago
0
Add the execution speed big O's to Figure 1
#16
mmore500
opened
1 month ago
0
Line edits and ideas markup
#15
mmore500
opened
1 month ago
0
missing algs/theorems
#14
rodsan0
opened
1 year ago
1
Submission Finalization
#13
mmore500
opened
1 year ago
0
(Maybe) Prove perfect tracking time & space complexity
#12
mmore500
closed
1 year ago
1
Add retention algorithms
#11
rodsan0
closed
1 year ago
0
Draft Text
#10
mmore500
opened
1 year ago
0
Maybe: somehow try to prove optimality, optimality within a factor, or otherwise reasonableness of approach
#9
mmore500
opened
1 year ago
1
Experimental evaluation
#8
mmore500
opened
1 year ago
0
Tree reconstruction algorithm
#7
mmore500
opened
1 year ago
0
Maybe: performance benchmarking of implementations
#6
mmore500
opened
1 year ago
0
Prove stratum retention algorithm uncertainty bounds
#5
mmore500
opened
1 year ago
0
Prove stratum retention algorithm time complexity
#4
mmore500
opened
1 year ago
0
Prove stratum retention algorithm space complexity
#3
mmore500
opened
1 year ago
0
Prove retention algorithm consistency
#2
mmore500
opened
1 year ago
0
Formal Algorithm Descriptions
#1
mmore500
opened
1 year ago
0