606 search results - page 86 / 122 » words 2002 |
AI
2002
Springer
13 years 10 months ago
2002
Springer
We describe a novel parallel randomized search algorithm for two-player games. The algorithm is a randomized version of Korf and Chickering's best-first search. Randomization...
AML
2002
13 years 10 months ago
2002
For a classical theory T, H(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the ra...
AR
2002
13 years 10 months ago
2002
: This paper deals with twisting motion of a falling cat robot by two torque inputs around her waist. The cat robot consists of two rigid columns and has internally two actuators a...
AUTOMATICA
2002
13 years 10 months ago
2002
Abstract. The proper measure of closed-loop performance variation in the presence of modelplant mismatch is discussed in this paper. A generalized closed-loop error transfer functi...
CAD
2002
Springer
13 years 9 months ago
2002
Springer
This paper describes the theory and implementation of a discrete mechanics model for deformable bodies, incorporating behavior such as motion, collision, deformation etc. The mode...