Sciweavers

9841 search results - page 1516 / 1969
» Distributed Value Functions
Sort
View
IRREGULAR
1995
Springer
15 years 10 months ago
Run-Time Parallelization of Irregular DOACROSS Loops
Dependencies between iterations of loop structures cannot always be determined at compile-time because they may depend on input data which is known only at run-time. A prime examp...
V. Prasad Krothapalli, Thulasiraman Jeyaraman, Mar...
REX
1991
15 years 10 months ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
ICPR
2010
IEEE
15 years 10 months ago
Extrinsic Camera Parameter Estimation Using Video Images and GPS Considering GPS Positioning Accuracy
Abstract--This paper proposes a method for estimating extrinsic camera parameters using video images and position data acquired by GPS. In conventional methods, the accuracy of the...
Hideyuki Kume, Takafumi Taketomi, Tomokazu Sato, N...
CNHPCA
2009
Springer
15 years 10 months ago
Parallel Branch Prediction on GPU Platform
Abstract. Branch Prediction is a common function in nowadays microprocessor. Branch predictor is duplicated into multiple copies in each core of a multicore and many-core processor...
Liqiang He, Guangyong Zhang
AAAI
2008
15 years 9 months ago
Towards Faster Planning with Continuous Resources in Stochastic Domains
Agents often have to construct plans that obey resource limits for continuous resources whose consumption can only be characterized by probability distributions. While Markov Deci...
Janusz Marecki, Milind Tambe
« Prev « First page 1516 / 1969 Last » Next »