Sciweavers

2050 search results - page 206 / 410
» constraints 2010
Sort
View
SIGGRAPH
2010
ACM
14 years 3 months ago
Optimizing walking controllers for uncertain inputs and environments
We introduce methods for optimizing physics-based walking controllers for robustness to uncertainty. Many unknown factors, such as external forces, control torques, and user contr...
Jack M. Wang, David J. Fleet, Aaron Hertzmann
ECCV
2010
Springer
14 years 3 months ago
Cascaded Confidence Filtering for Improved Tracking-by-Detection
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
DATE
2010
IEEE
139views Hardware» more  DATE 2010»
14 years 3 months ago
Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs
We present a Pareto efficient design method for multi-dimensional optimization of run-time reconfigurable streaming applications on CPU/FPGA platforms, which automatically allocate...
Jun Zhu, Ingo Sander, Axel Jantsch
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
14 years 3 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
DATE
2010
IEEE
122views Hardware» more  DATE 2010»
14 years 3 months ago
Optimal regulation of traffic flows in networks-on-chip
We have proposed (, )-based flow regulation to reduce delay and backlog bounds in SoC architectures, where bounds the traffic burstiness and the traffic rate. The regulation is co...
Fahimeh Jafari, Zhonghai Lu, Axel Jantsch, Mohamma...