Browse State-of-the-Art › LEMMA › Papers, page 7

LEMMA

Papers archive 2025-07-28

archive papers tagged: 628 · with a code link: 102 · where Syntology ran a sample: 18 (17 with a run with no instrument failure, 1 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (18 of 628 tagged: 17 with a run with no instrument failure, 1 where every run was a failure of Syntology's instrument)

Page 7 of 7: papers 601 to 628 of 628, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.

Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.

• Chasing Ghosts: Competing with Stateful Policies
  29 Jul 2014 0 repositories listed
• On the Complexity of Best Arm Identification in Multi-Armed Bandit Models
  16 Jul 2014 0 repositories listed
• Constituency Parsing of Bulgarian: Word- vs Class-based Parsing
  1 May 2014 0 repositories listed
• Lexical Substitution Dataset for German
  1 May 2014 0 repositories listed
• Recognising suicidal messages in Dutch social media
  1 May 2014 0 repositories listed
• Sharing Cultural Heritage: the Clavius on the Web Project
  1 May 2014 0 repositories listed
• Implementing Anti-Unification Modulo Equational Theory
  1 Apr 2014 0 repositories listed
• A Lemma Based Evaluator for Semitic Language Text Summarization Systems
  22 Mar 2014 0 repositories listed
• Applying Supervised Learning Algorithms and a New Feature Selection Method to Predict Coronary Artery Disease
  3 Feb 2014 0 repositories listed
• Matrix factorization with Binary Components
  23 Jan 2014 0 repositories listed
• Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
  16 Jan 2014 0 repositories listed
• Entity Linking meets Word Sense Disambiguation: a Unified Approach
  1 Jan 2014 0 repositories listed
• Universal Codes from Switching Strategies
  26 Nov 2013 0 repositories listed
• Toward a unified theory of sparse dimensionality reduction in Euclidean space
  11 Nov 2013 0 repositories listed
• Lemma Mining over HOL Light
  10 Oct 2013 0 repositories listed
• Asymptotic normality and optimalities in estimation of large Gaussian graphical models
  24 Sep 2013 0 repositories listed
• Tight Lower Bounds for Homology Inference
  29 Jul 2013 0 repositories listed
• An open diachronic corpus of historical Spanish: annotation criteria and automatic modernisation of spelling
  16 Jun 2013 0 repositories listed
• Learning pseudo-Boolean k-DNF and Submodular Functions
  10 Aug 2012 0 repositories listed
• The goo300k corpus of historical Slovene
  1 May 2012 0 repositories listed
• Visualizing word senses in WordNet Atlas
  1 May 2012 0 repositories listed
• Outlier detection in default logics: the tractability/intractability frontier
  21 Sep 2011 0 repositories listed
• Random design analysis of ridge regression
  13 Jun 2011 0 repositories listed
• Random Projection Trees Revisited
  1 Dec 2010 0 repositories listed
• On the Achievability of Cramér-Rao Bound In Noisy Compressed Sensing
  13 Jun 2010 0 repositories listed
• Optimal ROC Curve for a Combination of Classifiers
  1 Dec 2007 0 repositories listed
• Transductive Inference and Semi-Supervised Learning
  1 Jun 2006 0 repositories listed
• Rental Harmony: Sperner's Lemma in Fair Division
  1 Dec 1999 0 repositories listed