ISMVL
2010
IEEE
13 years 10 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
ISMVL
2010
IEEE
13 years 10 months ago
2010
IEEE
ISMVL
2010
IEEE
13 years 10 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
ISMVL
2010
IEEE
13 years 10 months ago
2010
IEEE
We outline DL-Media, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolo...
ISMVL
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
ISMVL
2010
IEEE
13 years 10 months ago
2010
IEEE
—Every probability on many-valued events (a state on a finitely-generated free MV-algebras) is uniquely represented by refining finitely-supported probabilities across all Sch...
ISMVL
2010
IEEE
13 years 10 months ago
2010
IEEE
ISMVL
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—Let A and B be integers such that A ≤ B. An nvariable interval function is a mapping IN[n : A, B] : {0, 1}n → {0, 1}, where IN[n : A, B](X) = 1 iff A ≤ X ≤ B. Su...