Sciweavers

1353 search results - page 182 / 271
» Streamlined Constraint Reasoning
Sort
View
IPPS
2009
IEEE
15 years 4 months ago
Flexible pipelining design for recursive variable expansion
Many image and signal processing kernels can be optimized for performance consuming a reasonable area by doing loops parallelization with extensive use of pipelining. This paper p...
Zubair Nawaz, Thomas Marconi, Koen Bertels, Todor ...
IROS
2009
IEEE
144views Robotics» more  IROS 2009»
15 years 4 months ago
Improving particle filter performance using SSE instructions
Abstract— Robotics researchers are often faced with realtime constraints, and for that reason algorithmic and implementation-level optimization can dramatically increase the over...
Peter Djeu, Michael Quinlan, Peter Stone
IROS
2009
IEEE
159views Robotics» more  IROS 2009»
15 years 4 months ago
Prioritized optimization for task-space control
— We introduce an optimization framework called prioritized optimization control, in which a nested sequence of objectives are optimized so as not to conflict with higher-priori...
Martin de Lasa, Aaron Hertzmann
WINE
2009
Springer
194views Economy» more  WINE 2009»
15 years 4 months ago
Mechanism Design for Complexity-Constrained Bidders
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
Ravi Kumar, Mohammad Mahdian, Amin Sayedi
ECSQARU
2009
Springer
15 years 4 months ago
Realizing Default Logic over Description Logic Knowledge Bases
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner