44651 search results - page 212 / 8931 » A Generalization of the Least General Generalization |
164
click to vote
WIA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
146
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...
156
Voted
AAAI
2008
15 years 9 months ago
2008
We develop a point based method for solving finitely nested interactive POMDPs approximately. Analogously to point based value iteration (PBVI) in POMDPs, we maintain a set of bel...
152
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
We generalize several recent works on nonlinear observers for aided attitude heading reference systems: we propose a symmetry-preserving nonlinear observer which merges the most co...
158
click to vote
AGI
2008
15 years 8 months ago
2008
Abstract. An artificial system that achieves human-level performance on opendomain tasks must have a huge amount of knowledge about the world. We argue that the most feasible way t...