1743 search results - page 172 / 349 » Generalized Modal Satisfiability |
134
Voted
ORDER
2002
15 years 3 months 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...
118
Voted
TIT
2002
15 years 3 months ago
2002
Abstract--We adapt methods originally developed in information and coding theory to solve some testing problems. The efficiency of two-stage pool testing of items is characterized ...
148
Voted
TCS
2008
15 years 2 months ago
2008
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
142
Voted
JCT
2010
15 years 2 months ago
2010
The concept of intersection numbers of order r for t-designs is generalized to graphs and to block designs which are not necessarily t-designs. These intersection numbers satisfy ...
163
Voted
JVCA
2010
15 years 2 months ago
2010
We present a new algorithm to generate plausible motions for high-DOF human-like articulated figures in constrained environments with multiple obstacles. Our approach is general ...