9507 search results - page 1602 / 1902 » Time-based language models |
165
click to vote
COMPSEC
2010
15 years 3 months ago
2010
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 ...
171
Voted
COLING
2010
15 years 1 months ago
2010
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...
216
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
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...
159
click to vote
LLC
2011
15 years 1 months ago
2011
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
316
click to vote
SCP
2011
15 years 1 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...