Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Hard.GIF | 2024-10-04 17:41 | 155K | ||
Smile.GIF | 2024-10-04 17:41 | 120K | ||
Liberty.jpg | 2024-10-04 17:41 | 70K | ||
Manipulate.JPG | 2024-10-04 17:41 | 55K | ||
ThreeBears.gif | 2024-10-04 17:41 | 53K | ||
JackInABox.JPG | 2024-10-04 17:41 | 50K | ||
Manipulate.GIF | 2024-10-04 17:41 | 44K | ||
RunTimeFilter.JPG | 2024-10-04 17:41 | 44K | ||
PPP.GIF | 2024-10-04 17:41 | 43K | ||
Spagetti.GIF | 2024-10-04 17:41 | 41K | ||
ProofTree.GIF | 2024-10-04 17:41 | 41K | ||
StaticRanker.JPG | 2024-10-04 17:41 | 29K | ||
Generator.JPG | 2024-10-04 17:41 | 27K | ||
ARTProjects.JPG | 2024-10-04 17:41 | 26K | ||
ATD.GIF | 2024-10-04 17:41 | 23K | ||
ExploreSpace.GIF | 2024-10-04 17:41 | 21K | ||
Architecture.GIF | 2024-10-04 17:41 | 17K | ||
DeJuice.jpg | 2024-10-04 17:41 | 13K | ||
Grand.gif | 2024-10-04 17:41 | 13K | ||
Induction.JPG | 2024-10-04 17:41 | 10K | ||
PaperClip.GIF | 2024-10-04 17:41 | 10K | ||
Telescope.GIF | 2024-10-04 17:41 | 4.9K | ||
YFront.GIF | 2024-10-04 17:41 | 4.2K | ||
StPeter.GIF | 2024-10-04 17:41 | 2.3K | ||
Summary.html | 2024-10-04 17:41 | 1.6K | ||
GeneratingTheorems.html | 2024-10-04 17:41 | 1.6K | ||
Contents.html | 2024-10-04 17:41 | 1.4K | ||
ResultsPUZ.html | 2024-10-04 17:41 | 1.4K | ||
Applicability.html | 2024-10-04 17:41 | 1.4K | ||
RunTimeFilter.html | 2024-10-04 17:41 | 1.2K | ||
AGInT.html | 2024-10-04 17:41 | 1.1K | ||
Theorems.html | 2024-10-04 17:41 | 1.1K | ||
Complexity.html | 2024-10-04 17:41 | 1.0K | ||
Surprisingness.html | 2024-10-04 17:41 | 1.0K | ||
Intensity.html | 2024-10-04 17:41 | 959 | ||
Use.html | 2024-10-04 17:41 | 954 | ||
Construction.html | 2024-10-04 17:41 | 946 | ||
Usefulness.html | 2024-10-04 17:41 | 882 | ||
Induction.html | 2024-10-04 17:41 | 860 | ||
Deduction2.html | 2024-10-04 17:41 | 856 | ||
Obviousness.html | 2024-10-04 17:41 | 846 | ||
Deduction.html | 2024-10-04 17:41 | 844 | ||
IsItAChallenge.html | 2024-10-04 17:41 | 843 | ||
Architecture.html | 2024-10-04 17:41 | 842 | ||
Abstract.html | 2024-10-04 17:41 | 809 | ||
Manipulation.html | 2024-10-04 17:41 | 731 | ||
Novelty.html | 2024-10-04 17:41 | 720 | ||
ResultsSET.html | 2024-10-04 17:41 | 693 | ||
Utility.html | 2024-10-04 17:41 | 569 | ||
StaticRanker.html | 2024-10-04 17:41 | 557 | ||
PreProcessor.html | 2024-10-04 17:41 | 540 | ||
PostProcessor.html | 2024-10-04 17:41 | 537 | ||
Conclusion.html | 2024-10-04 17:41 | 501 | ||
RelatedWork.html | 2024-10-04 17:41 | 381 | ||
YFrontGIF.html | 2024-10-04 17:41 | 356 | ||
RunTimeFilterJPG.html | 2024-10-04 17:41 | 343 | ||
StaticRankerJPG.html | 2024-10-04 17:41 | 338 | ||
ArchitectureGIF.html | 2024-10-04 17:41 | 336 | ||
results/ | 2024-10-04 17:41 | - | ||
figures/ | 2024-10-04 17:41 | - | ||