Sciweavers

300 search results - page 8 / 60
» Syntactic Monoids in a Category
Sort
View
77
Voted
COLING
2000
15 years 2 months ago
Informed Parsing for Coordination with Combinatory Categorial Grammar
Coordination in natural language hamlmrs ef tieient parsing, especially due to the multiple and mostly unintended candidate conjuncts/disjmmts in a given sentence that shows struc...
Jong C. Park, Hyung Joon Cho
96
Voted
LATA
2010
Springer
15 years 7 months ago
Three Learnable Models for the Description of Language
Abstract. Learnability is a vital property of formal grammars: representation classes should be defined in such a way that they are learnable. One way to build learnable represent...
Alexander Clark
93
Voted
FOSSACS
2008
Springer
15 years 2 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
102
Voted
RTA
2010
Springer
15 years 4 months ago
Computing Critical Pairs in 2-Dimensional Rewriting Systems
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
Samuel Mimram
97
Voted
ICALP
2004
Springer
15 years 6 months ago
A Categorical Model for the Geometry of Interaction
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
Esfandiar Haghverdi, Philip J. Scott