2448 search results - page 248 / 490 » The Octahedron Abstract Domain |
190
click to vote
CPAIOR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
172
click to vote
DSVIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...
170
click to vote
EVOW
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...
185
click to vote
GBRPR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. An appropriate image representation induces some good image treatment algorithms. Hypergraph theory is a theory of finite combinatorial sets, modeling a lot of problems ...
232
click to vote
IDA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...