2057 search results - page 107 / 412 » Quadratic placement using an improved timing model |
COMPLEX
2009
Springer
15 years 6 months ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
124
click to vote
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
115
click to vote
ENGL
2007
14 years 12 months ago
2007
— This paper presents an interactive method of modelling the various kind of fluid based on Smoothed Particle Hydrodynamics (SPH) in modelling and simulating the gas flow with fr...
100
click to vote
ICML
2010
IEEE
15 years 3 days ago
2010
IEEE
We present an overview of FAB-MAP, an algorithm for place recognition and mapping developed for infrastructure-free mobile robot navigation in large environments. The system allow...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a new approach to adaptive system identification when the system model is sparse. The approach applies the ℓ1 relaxation, common in compressive sensing, to improve t...