Results 51 to 60 of about 82,171 (148)
An implementation of Deflate in Coq
, 2016 The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to
AW Appel +9 more
core +1 more source
Parsley: optimising and improving parser combinators
, 2023 Parser combinators are a functional abstraction for parsing that abstracts hand-written recursive-descent parsers behind a high-level set of combinators. While these kinds of parsers are popular in the functional programming community, they have been historically criticised: * Parser combinator performance is sub-par compared with handwritten parsers. *
openaire +2 more sources
Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code [PDF]
, 1997 In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous.
Lapets, Andrei
core
Proceedings of QG2010: The Third Workshop on Question Generation [PDF]
, 2010 These are the peer-reviewed proceedings of "QG2010, The Third Workshop on Question Generation". The workshop included a special track for "QGSTEC2010: The First Question Generation Shared Task and Evaluation Challenge".
Boyer, Kristy Elizabeth, Piwek, Paul
core
Monadic compositional parsing with context using Maltese as a case study [PDF]
, 2004 Combinator-based parsing using functional programming provides an elegant, and compositional approach to parser design and development. By its very nature, sensitivity to context usually fails to be properly addressed in these approaches. We identify two
2nd Computer Science Annual Workshop (CSAW’04) +1 more
core
Emotion Analysis of Cross-Media Writing Text in the Context of Big Data. [PDF]
Front Psychol, 2022 Ren R.
europepmc +1 more source
An implementation of combined partial parser and morphosyntactic disambiguator [PDF]
Proceedings of the 45th Annual Meeting of the ACL: Student Research Workshop on - ACL '07, 2007 The aim of this paper is to present a simple yet efficient implementation of a tool for simultaneous rule-based morphosyntactic tagging and partial parsing formalism. The parser is currently used for creating a tree-bank of partial parses in a valency acquisition project over the IPI PAN Corpus of Polish.
openaire +1 more source
The computational origin of representation. [PDF]
Minds Mach (Dordr), 2021 Piantadosi ST.
europepmc +1 more source
Compiler of a Language with User-Defined Syntax for New Constructs [PDF]
, 2013 Tato práce si klade za cíl navrhnout a implementovat experimentální programovací jazyk s podporou uživatelsky definovaných syntaktických konstrukcí.
Kuklínek, Lukáš
core
Sepia: a Framework for Natural Language Semantics [PDF]
, 2009 Source code and technical descriptionTo help explore linguistic semantics in the context of computational natural language understanding, Sepia provides a realization the central theoretical idea of categorial grammar: linking words and phrases to ...
Marton, Gregory Adam +1 more
core +1 more source