10055 search results - page 289 / 2011 » Structured programming using processes |
IJCAI
1989
15 years 1 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
104
Voted
FSTTCS
2003
Springer
15 years 5 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
174
click to vote
VLDB
2007
ACM
16 years 23 days ago
2007
ACM
An optimization query asks for one or more data objects that maximize or minimize some function over the data set. We propose a general class of queries, model-based optimization ...
110
click to vote
NIPS
2007
15 years 1 months ago
2007
Dynamic Bayesian networks are structured representations of stochastic processes. Despite their structure, exact inference in DBNs is generally intractable. One approach to approx...