7066 search results - page 162 / 1414 » Contact Relations with Applications |
139
click to vote
MBUI
2004
15 years 5 months ago
2004
Based on a set of characteristics for diffusion of technology, we question the current state and direction of MBUID. We have suggest a set of requirements based on this set of cha...
131
click to vote
CONSTRAINTS
2010
15 years 4 months ago
2010
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
130
click to vote
DAM
2008
15 years 4 months ago
2008
This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular...
119
click to vote
ENTCS
2007
15 years 4 months ago
2007
Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation ...
141
click to vote
IJAR
2002
15 years 4 months ago
2002
The mathematics of belief functions can be handled with the use of the matrix notation. This representation helps greatly the user thanks to its notational simplicity and its effi...