We focus on the estimation of a probability distribution over a set of trees. We consider here the class of distributions computed by weighted automata - a strict generalization of...
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
In this paper we consider the problem of building a system to predict readability of natural-language documents. Our system is trained using diverse features based on syntax and l...
Rohit J. Kate, Xiaoqiang Luo, Siddharth Patwardhan...
The author proposed three studies (i.e. a large-N survey, a behavioral experiment, and a functional magnetic resonance imaging research) to investigate whether people read icons a...
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...