537 search results - page 1 / 108 » Extended directed triple systems |
DM
2006
13 years 7 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 7 months ago
2002
ISWC
2003
IEEE
14 years 27 days 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
14 years 2 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 9 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...