Sciweavers

5086 search results - page 466 / 1018
» The Power of Comparative Reasoning
Sort
View
181
Voted
IPPS
2009
IEEE
16 years 1 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
172views Robotics» more  IROS 2009»
16 years 1 months ago
Modeling mobile robot motion with polar representations
— This article compares several parameterizations and motion models for improving the estimation of the nonlinear uncertainty distribution produced by robot motion. In previous w...
Joseph Djugash, Sanjiv Singh, Ben Grocholsky
IROS
2009
IEEE
143views Robotics» more  IROS 2009»
16 years 1 months ago
Standing balance control using a trajectory library
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...
Chenggang Liu, Christopher G. Atkeson
223
Voted
ECSQARU
2009
Springer
16 years 1 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
ECSQARU
2009
Springer
16 years 1 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
Vasiliki Efstathiou, Anthony Hunter