5169 search results - page 640 / 1034 » Locality approximation using time |
143
click to vote
FMCAD
2007
Springer
16 years 17 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
142
click to vote
ICANN
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This paper presents Recurrent Policy Gradients, a modelfree reinforcement learning (RL) method creating limited-memory stochastic policies for partially observable Markov...
137
Voted
ICMCS
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper describes a novel suggestive interface embedded in a smart camera prototype aimed at aiding home movie makers. We focus on the problem of generating shot capture sugges...
188
click to vote
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
140
click to vote
ISQED
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper quantifies the approximation error in Clark’s approach [1] to computing the maximum (max) of Gaussian random variables; a fundamental operation in statistical timing...