-
Code from the paper "Counterexample-guided Cartesian Abstraction Refinement f...
The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction... -
salilab/cryptosite: cryptosite 0.1 release
This release of the code should match that currently used by the web server at https://salilab.org/cryptosite/. -
Neon Nist Data Science Evaluation Challenge: Methods And Results Of Team Shawn
This is the code to implement a canopy height model for a submission to the data science competition NIST DSE Plant Identification with NEON Remote Sensing Data. More... -
Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the...