Sciweavers

3233 search results - page 344 / 647
» Rule Modeling and Markup
Sort
View
ECCV
2010
Springer
15 years 11 months ago
MRF Inference by k-Fan Decomposition and Tight Lagrangian Relaxation
We present a novel dual decomposition approach to MAP inference with highly connected discrete graphical models. Decompositions into cyclic k-fan structured subproblems are shown t...
ICLP
2001
Springer
15 years 11 months ago
A Multi-adjoint Logic Approach to Abductive Reasoning
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
152
Voted
KI
1997
Springer
15 years 11 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
EDBTW
2006
Springer
15 years 10 months ago
Interoperation Between Information Spaces on the Web
In my thesis I will address the problem of interoperation between information spaces on the web. We explain how this problem is different to traditional database integration scenar...
Andreas Harth
WSC
2007
15 years 9 months ago
Duality in high level petri-nets: a basis to do diagnoses
In this paper the relation of high-level Petri-nets (hlpn) and linear algebra is outlined. On the basis of this relation the theory of the dual spaces can be brought in to a new c...
Jörg R. Müller, Eckehard Schnieder