9455 search results - page 1591 / 1891 » The Modelling Language Zinc |
130
Voted
IJMBL
2010
15 years 4 months ago
2010
: In this paper, we propose an improved context-aware system for supporting to learning Japanese mimicry and onomatopoeia (MIO) using sensor data. In our two previous studies, we p...
180
click to vote
ALT
2010
Springer
15 years 3 months ago
2010
Springer
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...
167
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 ...
172
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...
217
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...