Sciweavers

7109 search results - page 1209 / 1422
» Process Algebra with Combinators
Sort
View
JLP
2008
134views more  JLP 2008»
15 years 6 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
JAIR
2006
120views more  JAIR 2006»
15 years 6 months ago
FluCaP: A Heuristic Search Planner for First-Order MDPs
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
Steffen Hölldobler, Eldar Karabaev, Olga Skvo...
CVIU
2007
107views more  CVIU 2007»
15 years 6 months ago
Robot-vision architecture for real-time 6-DOF object localization
This paper presents a new robot-vision system architecture for real-time moving object localization. The 6-DOF (3 translation and 3 rotation) motion of the objects is detected and...
Yasushi Sumi, Yutaka Ishiyama, Fumiaki Tomita
JSS
2008
97views more  JSS 2008»
15 years 6 months ago
Proactive and reactive multi-dimensional histogram maintenance for selectivity estimation
Many state-of-the-art selectivity estimation methods use query feedback to maintain histogram buckets, thereby using the limited memory efficiently. However, they are "reacti...
Zhen He, Byung Suk Lee, Xiaoyang Sean Wang
EAAI
2007
199views more  EAAI 2007»
15 years 6 months ago
Nonlinear system modeling and robust predictive control based on RBF-ARX model
An integrated modeling and robust model predictive control (MPC) approach is proposed for a class of nonlinear systems with unknown steady state. First, the nonlinear system is id...
Hui Peng, Zi-Jiang Yang, Weihua Gui, Min Wu, Hideo...
« Prev « First page 1209 / 1422 Last » Next »