1471 search results - page 164 / 295 » Church: a language for generative models |
170
click to vote
CONCUR
2007
Springer
16 years 16 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
148
click to vote
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract- The effect of adding noise to an expressioninduction model of language evolution was investigated. The model consisted of a number of artificial people who were able to i...
154
click to vote
LREC
2010
15 years 7 months ago
2010
Without any doubt corpora are vital tools for linguistic studies and solution for applied tasks. Although corpora opportunities are very useful, there is a need of another kind of...
154
click to vote
WSC
1998
15 years 7 months ago
1998
SLX is Wolverine Software's "next generation" simulation language. SLX builds on the strengths of Wolverine's GPSS/H (Crain 1997). It provides powerful simulat...
185
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...