Results 51 to 60 of about 81,160 (150)
cclib 2.0: An updated architecture for interoperable computational chemistry.
Journal of Chemical PhysicsInteroperability in computational chemistry is elusive, impeded by the independent development of software packages and idiosyncratic nature of their output files.
Eric J. Berquist +16 more
semanticscholar +1 more source
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
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
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
Emotion Analysis of Cross-Media Writing Text in the Context of Big Data. [PDF]
Front Psychol, 2022 Ren R.
europepmc +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
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
The computational origin of representation. [PDF]
Minds Mach (Dordr), 2021 Piantadosi ST.
europepmc +1 more source
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
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