Sciweavers

11484 search results - page 2013 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
FOCM
2010
100views more  FOCM 2010»
15 years 5 months ago
Higher-Order Averaging, Formal Series and Numerical Integration I: B-series
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
P. Chartier, A. Murua, J. M. Sanz-Serna
ICASSP
2010
IEEE
15 years 5 months ago
Optimization of a maximum entropy criterion for 2D Nuclear Magnetic Resonance reconstruction
This paper deals with the reconstruction of T1-T2 correlation spectra in Nuclear Magnetic Resonance (NMR) spectroscopy. The ill-posed character of this inverse problem and its lar...
Emilie Chouzenoux, Saïd Moussaoui, Jér...
ICRA
2010
IEEE
158views Robotics» more  ICRA 2010»
15 years 5 months ago
Coping with imbalanced training data for improved terrain prediction in autonomous outdoor robot navigation
Abstract— Autonomous robot navigation in unstructured outdoor environments is a challenging and largely unsolved area of active research. The navigation task requires identifying...
Michael J. Procopio, Jane Mulligan, Gregory Z. Gru...
ICRA
2010
IEEE
135views Robotics» more  ICRA 2010»
15 years 5 months ago
Implicit nonlinear complementarity: A new approach to contact dynamics
— Contact dynamics are commonly formulated as a linear complementarity problem. While this approach is superior to earlier spring-damper models, it can be inaccurate due to pyram...
Emanuel Todorov
ICTAC
2010
Springer
15 years 5 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
« Prev « First page 2013 / 2297 Last » Next »