9455 search results - page 96 / 1891 » The Modelling Language Zinc |
ACL
2010
14 years 8 months ago
2010
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
UML
2004
Springer
15 years 3 months ago
2004
Springer
ICLP
2003
Springer
15 years 3 months ago
2003
Springer
BPM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The rise of interest in declarative languages for process modeling both justifies and demands empirical investigations into their presumed advantages over more traditiona...
ICFP
2007
ACM
15 years 9 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...