1897 search results - page 53 / 380 » Conditional Linear Planning |
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Takens' Embedding Theorem remarkably established that concatenating M previous outputs of a dynamical system into a vector (called a delay coordinate map) can be a one-to-one...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— This paper presents a randomized manipulation planner for a multi-fingered hand by switching contact modes. Manipulation planning for such a system should consider cha...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and robotics. Recently, one such great challenge has been the development...
JMLR
2010
14 years 4 months ago
2010
We propose Dirichlet Process mixtures of Generalized Linear Models (DP-GLMs), a new method of nonparametric regression that accommodates continuous and categorical inputs, models ...