Sciweavers

1585 search results - page 291 / 317
» A framework for computer-aided validation
Sort
View
CVPR
2007
IEEE
15 years 6 months ago
Hierarchical Structuring of Data on Manifolds
Manifold learning methods are promising data analysis tools. However, if we locate a new test sample on the manifold, we have to find its embedding by making use of the learned e...
Jun Li, Pengwei Hao
GLOBECOM
2007
IEEE
15 years 6 months ago
On Finite-SNR Diversity-Multiplexing Tradeoff
— Diversity–multiplexing tradeoff (DMT) presents a compact framework to compare various MIMO systems and channels in terms of the two main advantages they provide (i.e. high da...
Sergey Loyka, George Levin
ICC
2007
IEEE
156views Communications» more  ICC 2007»
15 years 6 months ago
CA-AQM: Channel-Aware Active Queue Management for Wireless Networks
—In a wireless network, data transmission suffers from varied signal strengths and channel bit error rates. To ensure successful packet reception under different channel conditio...
Yuan Xue, Hoang Nguyen, Klara Nahrstedt
ICRA
2007
IEEE
175views Robotics» more  ICRA 2007»
15 years 6 months ago
Visual Servoing in Non-Rigid Environments: A Space-Time Approach
— Most robotic vision algorithms are proposed by envisaging robots operating in structured environments where the world is assumed to be rigid. These algorithms fail to provide o...
D. Santosh, C. V. Jawahar
ICSEA
2007
IEEE
15 years 6 months ago
Test Data Generation from UML State Machine Diagrams using GAs
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir...