5090 search results - page 946 / 1018 » Constructing Strategies for Programming |
189
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
156
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we consider the development of single-timescale schemes for the distributed computation of Nash equilibria. In general, equilibria associated with convex Nash games ...
226
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we study the human eye movement and the head movement system as a simple mechanical control system. Most of the time, eye movements obey Listing's constraint, wh...
205
click to vote
IJRR
2011
15 years 1 months ago
2011
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...
214
click to vote
TSMC
2010
15 years 27 days ago
2010
We study the problem of projecting high-dimensional tensor data on an unspecified Riemannian manifold onto some lower dimensional subspace1 without much distorting the pairwise geo...