Sciweavers

2128 search results - page 309 / 426
» A general characterization of indulgence
Sort
View
108
Voted
IMC
2007
ACM
15 years 2 months ago
Interference map for 802.11 networks
The interference map of an 802.11 network is a collection of data structures that can help heuristics for routing, channel assignment and call admission in dense wireless networks...
Dragos Niculescu
AAAI
2010
15 years 2 months ago
A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...
Jianbing Ma, Weiru Liu, Salem Benferhat
103
Voted
AAAI
2010
15 years 2 months ago
Propagating Conjunctions of AllDifferent Constraints
We study propagation algorithms for the conjunction of two ALLDIFFERENT constraints. Solutions of an ALLDIFFERENT constraint can be seen as perfect matchings on the variable/value...
Christian Bessiere, George Katsirelos, Nina Narody...
83
Voted
DAGSTUHL
2007
15 years 2 months ago
Uniqueness of Optimal Mod 3 Circuits for Parity
In this paper, we prove that the quadratic polynomials modulo 3 with the largest correlation with parity are unique up to permutation of variables and constant factors. As a conseq...
Frederic Green, Amitabha Roy
103
Voted
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
15 years 2 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...