9443 search results - page 367 / 1889 » Web-centric language models |
111
Voted
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
174
Voted
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
169
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...
170
click to vote
CTCS
1995
Springer
15 years 10 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
168
click to vote
ACL
2003
15 years 8 months ago
2003
We present a language-independent and unsupervised algorithm for the segmentation of words into morphs. The algorithm is based on a new generative probabilistic model, which makes...