Sciweavers

28 search results - page 5 / 6
» A lazy approach to symmetry reduction
Sort
View

Book
296views
17 years 4 months ago
Implementing Functional Languages: a tutorial
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
Simon Peyton Jones, David Lester
ISQED
2007
IEEE
123views Hardware» more  ISQED 2007»
16 years 10 days ago
General Block Structure-Preserving Reduced Order Modeling of Linear Dynamic Circuits
In this paper, we propose a generalized block structure-preserving reduced order interconnect macromodeling method (BSPRIM). Our approach extends structure-preserving model order ...
Ning Mi, Boyuan Yan, Sheldon X.-D. Tan, Jeffrey Fa...
PR
2008
90views more  PR 2008»
15 years 6 months ago
Fast computation of geometric moments using a symmetric kernel
This paper presents a novel set of geometric moments with symmetric kernel (SGM) obtained using an appropriate transformation of image coordinates. By using this image transformat...
Chong-Yaw Wee, Paramesran Raveendran, R. Mukundan
STOC
2012
ACM
221views Algorithms» more  STOC 2012»
13 years 8 months ago
From query complexity to computational complexity
We consider submodular optimization problems, and provide a general way of translating oracle inapproximability results arising from the symmetry gap technique to computational co...
Shahar Dobzinski, Jan Vondrák
ICRA
2010
IEEE
113views Robotics» more  ICRA 2010»
15 years 4 months ago
Geometric formation control for autonomous underwater vehicles
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
Huizhen Yang, Fumin Zhang