537 search results - page 1 / 108 » Extended directed triple systems |
DM
2006
13 years 4 months ago
2006
Let {v; b2, b1} denote the class of extended directed triple systems of the order v in which the number of blocks of the form [a, b, a] is b2 and
DM
2002
13 years 4 months ago
2002
ISWC
2003
IEEE
13 years 10 months ago
2003
IEEE
We present extensions and modifications that we have made to a cursorless menu navigation interface that is controlled by multiple pressure-sensitive linear strips. Our approach i...
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
MCU
2001
13 years 6 months ago
2001
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...