3564 search results - page 294 / 713 » Evaluating a Formal Modelling Language |
136
Voted
ACL
2003
15 years 6 months ago
2003
We present a language-independent and unsupervised algorithm for the segmentation of words into morphs. The algorithm is based on a new generative probabilistic model, which makes...
162
click to vote
INLG
2010
Springer
15 years 2 months ago
2010
Springer
The paper presents two models for producing and understanding situationally appropriate referring expressions (REs) during a discourse about large-scale space. The models are eval...
132
click to vote
ACL
2010
15 years 3 months ago
2010
In this paper, we present a novel approach for authorship attribution, the task of identifying the author of a document, using probabilistic context-free grammars. Our approach in...
147
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
168
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...