8874 search results - page 195 / 1775 » A New Implementation of Automath |
145
click to vote
HT
2009
ACM
15 years 2 months ago
2009
ACM
In this paper we describe a model of social and collaborative search based on the use of tags. First we will introduce the issues that drove us to the definition of this model, an...
176
click to vote
ENTCS
2010
15 years 1 months ago
2010
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
122
click to vote
CAP
2010
14 years 11 months ago
2010
The nth cyclotomic polynomial, n(z), is the monic polynomial whose (n) distinct roots are the nth primitive roots of unity. n(z) can be computed efficiently as a quotient of terms...
128
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Existing grammar frameworks do not work out particularly well for controlled natural languages (CNL), especially if they are to be used in predictive editors. I introduce in this p...
133
click to vote
ECEASST
2010
14 years 11 months ago
2010
The current tooling used for the Eclipse OCL project uses an LALR parser generator. Enhancing the tooling to support editing motivated a migration to exploit the inherently model-d...