834 search results - page 20 / 167 » A Decomposition Technique for Max-CSP |
113
Voted
JELIA
2010
Springer
15 years 8 days ago
2010
Springer
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, no...
106
Voted
ICCV
2007
IEEE
16 years 3 months ago
2007
IEEE
A new message-passing scheme for MRF optimization is proposed in this paper. This scheme inherits better theoretical properties than all other state-of-the-art message passing met...
101
Voted
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
103
click to vote
ICCAD
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
84
Voted
IFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...