Sciweavers

1033 search results - page 71 / 207
» hybrid 2007
Sort
View
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
14 years 2 months ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning
ICRA
2007
IEEE
142views Robotics» more  ICRA 2007»
14 years 2 months ago
Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage
— This paper studies the problem of stabilizing wheeled mobile robots (WMRs) subject to wheel slippage to a predefined set. When slippage of the wheels can occur, WMRs can be mo...
Shangming Wei, Milos Zefran, Kasemsak Uthaichana, ...
IPPS
2007
IEEE
14 years 2 months ago
Popularity Adaptive Search in Hybrid P2P Systems
In a hybrid peer-to-peer (P2P) system, flooding and DHT are both employed for content locating. The decision to use flooding or DHT largely depends on the population of desired da...
Xiaoqiu Shi, Jinsong Han, Yunhao Liu, Lionel M. Ni
ICIP
2007
IEEE
14 years 1 months ago
Shape from Shading for Hybrid Surfaces
This paper presents a new method for recovering the shape of hybrid surfaces that have both diffuse reflection and specular reflection using shape from shading (SFS). The image ...
Abdelrehim H. Ahmed, Aly A. Farag
ICLP
2007
Springer
14 years 1 months ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...