Sciweavers

679 search results - page 45 / 136
» hybrid 2010
Sort
View
CSL
2010
Springer
13 years 11 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
ICPADS
2010
IEEE
13 years 7 months ago
Hybrid Checkpointing for MPI Jobs in HPC Environments
As the core count in high-performance computing systems keeps increasing, faults are becoming common place. Checkpointing addresses such faults but captures full process images ev...
Chao Wang, Frank Mueller, Christian Engelmann, Ste...
ICA
2010
Springer
13 years 8 months ago
Hybrid Channel Estimation Strategy for MIMO Systems with Decision Feedback Equalizer
We propose combining supervised and unsupervised algorithms in order to improve the performance of multiple-input multipleoutputdigitalcommunication systemswhich makeuseofdecision-...
Héctor J. Pérez-Iglesias, Adriana Da...
ICRA
2010
IEEE
77views Robotics» more  ICRA 2010»
13 years 8 months ago
Hybrid aerial and scansorial robotics
— We present an approach that builds upon previous developments in unmanned air vehicles and climbing robots and seeks to emulate the capabilities of bats, insects and certain bi...
Alexis Lussier Desbiens, Alan T. Asbeck, Mark R. C...
JVCA
2010
94views more  JVCA 2010»
13 years 8 months ago
A hybrid approach for simulating human motion in constrained environments
We present a new algorithm to generate plausible motions for high-DOF human-like articulated figures in constrained environments with multiple obstacles. Our approach is general ...
Jia Pan, Liangjun Zhang, Ming C. Lin, Dinesh Manoc...