Sciweavers

2128 search results - page 309 / 426
» A general characterization of indulgence
Sort
View
IMC
2007
ACM
14 years 9 days 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
14 years 6 days 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
AAAI
2010
14 years 6 days 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...
DAGSTUHL
2007
14 years 6 days 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
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
14 years 6 days 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, ...