26 citations · 30 across the 3 of their papers we have counts for
3 papers
cs.LO2012
A survey of proof nets and matrices for substructural logics
Sean A. Fulop
This paper is a survey of two kinds of "compressed" proof schemes, the \emph{matrix method} and \emph{proof nets}, as applied to a variety of logics ranging along the substructural…
cs.SD2009★ 26 cited
A Unified Theory of Time-Frequency Reassignment
Kelly R. Fitz, Sean A. Fulop
Time-frequency representations such as the spectrogram are commonly used to analyze signals having a time-varying distribution of spectral energy, but the spectrogram is constraine…
cs.CL2002★ 4 cited
Unsupervised Learning of Morphology without Morphemes
Sylvain Neuvel, Sean A. Fulop
The first morphological learner based upon the theory of Whole Word Morphology Ford et al. (1997) is outlined, and preliminary evaluation results are presented. The program, Whole…