7961 search results - page 95 / 1593 » Input-Output Model Programs |
111
click to vote
MICAI
2007
Springer
15 years 8 months ago
2007
Springer
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
118
Voted
MOZ
2004
Springer
15 years 8 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...
113
Voted
ECSQARU
2009
Springer
15 years 9 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...
136
Voted
ICLP
2010
Springer
15 years 6 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 ...
119
Voted
ENDM
2010
15 years 2 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, ...