211 search results - page 20 / 43 » Ground Reducibility is EXPTIME-Complete |
ICRA
1998
IEEE
13 years 12 months ago
1998
IEEE
: In this paper we present novel algorithms to compute quasi-static and dynamic equilibrium positions and orientations (if any) of 2D polygonal or curved parts placed on general sh...
FGR
2008
IEEE
13 years 8 months ago
2008
IEEE
Tracking human pose using observations from less than three cameras is a challenging task due to ambiguity in the available image evidence. This work presents a method for trackin...
ENTCS
2010
13 years 7 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
CPHYSICS
2007
13 years 7 months ago
2007
In this paper, we study dimension reduction of the three-dimensional (3D) Gross–Pitaevskii equation (GPE) modeling Bose–Einstein condensation under different limiting interact...
JAR
2007
13 years 7 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...