Sciweavers

831 search results - page 116 / 167
» Coalgebraic Correspondence Theory
Sort
View
DLS
2008
213views Languages» more  DLS 2008»
15 years 1 months ago
A parsing machine for PEGs
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
Sérgio Medeiros, Roberto Ierusalimschy
CATS
2007
15 years 1 months ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
LREC
2010
154views Education» more  LREC 2010»
15 years 1 months ago
Building a Bilingual ValLex Using Treebank Token Alignment: First Observations
In this paper we explore the potential and limitations of a concept of building a bilingual valency lexicon based on the alignment of nodes in a parallel treebank. Our aim is to b...
Jana Sindlerová, Ondrej Bojar
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
15 years 1 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...
NIPS
2008
15 years 1 months ago
Optimal Response Initiation: Why Recent Experience Matters
In most cognitive and motor tasks, speed-accuracy tradeoffs are observed: Individuals can respond slowly and accurately, or quickly yet be prone to errors. Control mechanisms gove...
Matt Jones, Michael C. Mozer, Sachiko Kinoshita