341 search results - page 12 / 69 » A Declarative Implementation of Planning with Control |
CDC
2009
IEEE
14 years 6 days ago
2009
IEEE
—In this paper, we consider the control system Σ defined by the rolling of a strictly convex surface S of IR3 on a plane without slipping or spinning. The purpose of this paper...
NTMS
2008
IEEE
14 years 1 months ago
2008
IEEE
—We propose an access control model that extends RBAC (Role-Based Access Control) to take time and location into account, and use term rewriting systems to specify access control...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Kinodynamic planning algorithms have the potential to find feasible control trajectories which accomplish a task even in very nonlinear or constrained dynamical system...
ICML
1996
IEEE
14 years 8 months ago
1996
IEEE
Generating good, production-quality plans is an essential element in transforming planners from research tools into real-world applications, but one that has been frequently overl...
ENTCS
2010
13 years 2 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...