14244 search results - page 380 / 2849 » Modeling Program Predictability |
133
click to vote
MOZ
2004
Springer
15 years 9 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
124
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
148
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
134
click to vote
ENDM
2010
15 years 4 months ago
2010
We propose a 0/1 integer programming model to tackle the office space allocation (OSA) problem which refers to assigning room space to a set of entities (people, machines, roles, ...
135
click to vote
IJISTA
2007
15 years 3 months ago
2007
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...