Sciweavers

72 search results - page 3 / 15
» On the Complements of Partial k-Trees
Sort
View
ISMVL
2000
IEEE
103views Hardware» more  ISMVL 2000»
13 years 9 months ago
Experiments on FPRM Expressions for Partially Symmetric Logic Functions
This paper focuses on the fixed polarity ReedMuller (FPRM) expression of multiple-valued logic (MVL) symmetric functions. In the FPRM expression, each variable occurs in exactly o...
Svetlana N. Yanushkevich, Jon T. Butler, Gerhard W...
ENTCS
2002
108views more  ENTCS 2002»
13 years 6 months ago
Rewriting in the partial algebra of typed terms modulo AC
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
Thomas Colcombet
IGARSS
2009
13 years 3 months ago
On the Ability of the ERS Scatterometer to Detect Vegetation Properties
The ability of the active microwave remote sensing to complement existing optical vegetation indices has been explored by variety of studies [1-4]. To demonstrate these complement...
Marcela Doubkova, Vahid Naeimi, Wolfgang Wagner, G...
APAL
2008
102views more  APAL 2008»
13 years 6 months ago
Partial automorphism semigroups
Abstract. We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures inclu...
Jennifer Chubb, Valentina S. Harizanov, Andrei S. ...
ESOP
2009
Springer
14 years 1 months ago
Global Principal Typing in Partially Commutative Asynchronous Sessions
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda