Sciweavers

3171 search results - page 101 / 635
» Application of Reduce Order Modeling to Time Parallelization
Sort
View
AVSS
2003
IEEE
15 years 8 months ago
Color-Based Video Stabilization for Real-Time On-Board Object Detection on High-Speed Trains
This paper is concerned with a particular application of image stabilization1 . Image stabilization is a necessary step to reduce the effect of camera motion when, as in this case...
Stefano Piva, Michela Zara, Gianluca Gera, Carlo S...
WSC
2004
15 years 4 months ago
A Stochastic On-Line Model for Shipment Date Quoting with On-Time Delivery Guarantees
The paper introduces a new model for shipment date quoting with potential applications in E-commerce. First, a customer sends to the vendor a request for an item advertised at a c...
Yunpeng Pan, Leyuan Shi
ANSS
2001
IEEE
15 years 6 months ago
Application of the ATLAS Language in Models of Urban Traffic
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
Andrea Díaz, Verónica Vazquez, Gabri...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 7 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
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...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
ICASSP
2011
IEEE
14 years 7 months ago
Fast orthogonal decomposition of Volterra cubic kernels using oblique unfolding
Discrete-time Volterra modeling is a central topic in many application areas and a large class of nonlinear systems can be modeled using high-order Volterra series. The problem wi...
Rémy Boyer, Roland Badeau, Gérard Fa...