828 search results - page 59 / 166 » Bounded Hairpin Completion |
110
Voted
ORDER
2002
15 years 8 days ago
2002
We determine the order dimension of the strong Bruhat order on finite Coxeter groups of types A, B and H. The order dimension is determined using a generalization of a theorem of D...
103
Voted
IFIPTCS
2010
14 years 10 months ago
2010
Abstract. We investigate systematically into the various possible notions of traceable sets and the relations they bear to each other and to other notions such as diagonally noncom...
98
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper we examine the leader-to-follower ratio needed to maintain connectivity in a leader-follower multiagent network with proximity based communication topology. In th...
85
Voted
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
88
Voted
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...