paper-with-me

Papers

The Calysto Scheme Project

2023-10-16 · Douglas S. Blank, James B. Marshall

Calysto Scheme is written in Scheme in Continuation-Passing Style, and converted through a series of correctness-preserving program transformations into Python. It has support for standard Scheme functionality, including call/cc, as well as syntactic extensions, a nondeterministic operator for automatic backtracking, and many extensions to allow Python interoperation. Because of its Python foundation, it can take advantage of modern Python libraries, including those for machine learning and other pedagogical contexts. Although Calysto Scheme was developed with educational purposes in mind, it has proven to be generally useful due to its simplicity and ease of installation. It has been integrated into the Jupyter Notebook ecosystem and used in the classroom to teach introductory Programming Languages with some interesting and unique twists.

📄 PDF Abstract BibTeX arXiv:2310.10886

Code (1)

calysto/calysto_scheme 공식 구현

Similar Papers 제목 키워드 기반

Novel projection schemes for graph-based Light Field coding

2022-06-09 · Bach Gia Nguyen, Chanh Minh Tran, Tho Nguyen Duc, Tan Xuan Phan 외

In Light Field compression, graph-based coding is powerful to exploit signal redundancy along irregular shapes and obtains good energy compaction. However, apart from high time complexity to process high dimensional grap…

Decodergraph construction

An alternative paradigm of fault diagnosis in dynamic systems: orthogonal projection-based methods

2022-02-16 · Steven X. Ding, Linlin Li, Tianyu Liu

In this paper, we propose a new paradigm of fault diagnosis in dynamic systems as an alternative to the well-established observer-based framework. The basic idea behind this work is to (i) formulate fault detection and i…

Fault DetectionFault Diagnosis

2-Bit Random Projections, NonLinear Estimators, and Approximate Near Neighbor Search

2016-02-21 · Ping Li, Michael Mitzenmacher, Anshumali Shrivastava

The method of random projections has become a standard tool for machine learning, data mining, and search with massive data at Web scale. The effective use of random projections requires efficient coding schemes for quan…

QuantizationRe-Ranking

Novel tile segmentation scheme for omnidirectional video

2021-03-10 · Jisheng Li, Ziyu Wen, Sihan Li, Yikai Zhao 외

Regular omnidirectional video encoding technics use map projection to flatten a scene from a spherical shape into one or several 2D shapes. Common projection methods including equirectangular and cubic projection have va…

Video SegmentationVideo Semantic Segmentation

Coding for Random Projections

2013-08-09 · Ping Li, Michael Mitzenmacher, Anshumali Shrivastava

The method of random projections has become very popular for large-scale applications in statistical learning, information retrieval, bio-informatics and other applications. Using a well-designed coding scheme for the pr…

Information RetrievalQuantizationRetrieval