11324 search results - page 218 / 2265 » Coordination Models and Languages |
156
click to vote
SBMF
2010
Springer
14 years 7 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
102
Voted
ACL
2012
13 years 3 months ago
2012
We propose a simple generative, syntactic language model that conditions on overlapping windows of tree context (or treelets) in the same way that n-gram language models condition...
104
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
81
Voted
CMOT
1998
15 years 11 days ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
144
Voted
INTERSPEECH
2010
14 years 7 months ago
2010
A new recurrent neural network based language model (RNN LM) with applications to speech recognition is presented. Results indicate that it is possible to obtain around 50% reduct...