Sciweavers

3233 search results - page 159 / 647
» Validation Method for Intelligent Systems
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 10 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
MVA
2010
296views Computer Vision» more  MVA 2010»
15 years 4 months ago
Non-contact 3D acquisition system based on stereo vision and laser triangulation
Abstract This paper proposes a novel contact 3D acquisition system based on stereo vision and laser triangulation. The system is composed by several software modules for data acqui...
João L. Vilaça, Jaime C. Fonseca, An...
MICCAI
2006
Springer
16 years 7 months ago
Anatomical Modelling of the Musculoskeletal System from MRI
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
Benjamin Gilles, Laurent Moccozet, Nadia Magnenat-...
GLOBECOM
2008
IEEE
16 years 26 days ago
A Low-Signalling Scheme for Distributed Resource Allocation in Multi-Cellular OFDMA Systems
—This paper considers distributed protocol design for joint sub-carrier, transmission scheduling and power management in uplink/downlink multi-cellular OFDMA wireless networks. T...
Pablo Soldati, Mikael Johansson
VTC
2007
IEEE
116views Communications» more  VTC 2007»
16 years 20 days ago
Estimation of Exclusion Zones for Base Station Antennas in Wireless Communications Systems
— A model for the estimation of exclusion zones around base station antennas in wireless communication systems, taking the actual surrounding environment into account, is present...
Carla Oliveira, Carlos C. Fernandes, Luis M. Corre...