Sciweavers

3233 search results - page 159 / 647
» Validation Method for Intelligent Systems
Sort
View
140
Voted
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 7 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
149
Voted
MVA
2010
296views Computer Vision» more  MVA 2010»
15 years 1 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...
146
Voted
MICCAI
2006
Springer
16 years 4 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-...
155
Voted
GLOBECOM
2008
IEEE
15 years 10 months 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
99
Voted
VTC
2007
IEEE
116views Communications» more  VTC 2007»
15 years 9 months 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...