7961 search results - page 161 / 1593 » Input-Output Model Programs |
WSC
2004
15 years 4 months ago
2004
This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...
133
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
124
click to vote
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
137
click to vote
EUROGP
2010
Springer
15 years 8 months ago
2010
Springer
We describe a data mining framework that derives panelist information from sparse flavour survey data. One component of the framework executes genetic programming ensemble based s...