Sciweavers

2302 search results - page 311 / 461
» Testing as Abstraction
Sort
View
IROS
2006
IEEE
99views Robotics» more  IROS 2006»
16 years 16 days ago
Motion Pattern for the Landing Phase of a Vertical Jump for Humanoid Robots
Abstract— This paper deals with the generation of motion pattern for humanoid robots vertical jump. The study concentrates on the landing phase of the jump which is the most dema...
Sophie Sakka, Ee Sian Neo, Kazuhito Yokoi
IROS
2006
IEEE
274views Robotics» more  IROS 2006»
16 years 16 days ago
Adaptive Scale Robust Segmentation for 2D Laser Scanner
Abstract— This paper presents a robust algorithm for segmentation and line detection in 2D range scans. The described method exploits the multimodal probability density function ...
Ruben Martinez-Cantin, José A. Castellanos,...
SEFM
2006
IEEE
16 years 16 days ago
Describing and Executing Random Reactive Systems
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
Pascal Raymond, Erwan Jahier, Yvan Roux
VTC
2006
IEEE
138views Communications» more  VTC 2006»
16 years 16 days ago
Simulated Annealing based Wireless Sensor Network Localization with Flip Ambiguity Mitigation
Abstract— Accurate self-localization capability is highly desirable in wireless sensor networks. A major problem in wireless sensor network localization is the flip ambiguity, w...
Anushiya A. Kannan, Guoqiang Mao, Branka Vucetic
3DGIS
2006
Springer
16 years 15 days ago
Texture Generation and Mapping Using Video Sequences for 3D Building Models
Abstract Three-dimensional (3D) building model is one of the most important components in a cyber city implementation and application. This study developed an effective and highly ...
Fuan Tsai, Cheng-Hsuan Chen, Jin-Kim Liu, Kuo-Hsin...