2608 search results - page 105 / 522 » Subjects, Models, Languages, Transformations |
196
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
142
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
298
click to vote
CIKM
2011
Springer
14 years 5 months ago
2011
Springer
Word prediction performed by language models has an important role in many tasks as e.g. word sense disambiguation, speech recognition, hand-writing recognition, query spelling an...
151
click to vote
COGSCI
2010
15 years 6 months ago
2010
We evaluate two broad classes of cognitive mechanisms that might support the learning of sequential patterns. According to the first, learning is based on the gradual accumulation...
156
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...