9455 search results - page 218 / 1891 » The Modelling Language Zinc |
160
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
239
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
136
click to vote
IJCAI
2001
15 years 5 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
186
click to vote
IS
2012
14 years 3 hour ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
157
click to vote
JMLR
2012
13 years 6 months ago
2012
One approach to modeling structured discrete data is to describe the probability of states via an energy function and Gibbs distribution. A recurring difficulty in these models is...