2920 search results - page 199 / 584 » Finite information logic |
145
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- This paper presents a control theoretic formulation and optimal control solution for integrating human control inputs subject to linear state constraints. The formulatio...
198
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
The design of a hierarchical planning system in which each level operates in parallel and communicates asynchronously is presented. It is shown that this Parallel Hierarchical Repl...
158
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
A new paradigm of adaptivity is to execute refinement, coarsening, and smoothing of meshes on manifolds with incomplete information about their geometry and yet preserve position a...
167
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
208
click to vote
LOPSTR
2005
Springer
16 years 3 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...