10055 search results - page 55 / 2011 » Structured programming using processes |
108
Voted
AAAI
1997
15 years 2 months ago
1997
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
200
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
101
Voted
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...
86
Voted
FLAIRS
1998
15 years 2 months ago
1998
Manyindustrial processes involve makingparts with an assemblyof machines, where each machinecarries out an operation on a part, and the finished product requires a wholeseries of ...
99
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...