Sciweavers

1172 search results - page 37 / 235
» Constructions of generalized Sidon sets
Sort
View
IJFCS
2008
158views more  IJFCS 2008»
14 years 12 months ago
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
Anil Seth
PAMI
2010
171views more  PAMI 2010»
14 years 10 months ago
Automatic Construction of Correspondences for Tubular Surfaces
Abstract— Statistical shape modeling is an established technique and is used for a variety of tasks in medical image processing, such as image segmentation and analysis. A challe...
Toon Huysmans, Jan Sijbers, Brigitte Verdonk
AUTOMATICA
2008
106views more  AUTOMATICA 2008»
14 years 12 months ago
Constructive stabilization for quadratic input nonlinear systems
In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of con...
Jianghua Zhong, Daizhan Cheng, Xiaoming Hu
INFORMATICALT
2000
125views more  INFORMATICALT 2000»
14 years 11 months ago
An Algorithm for Construction of Test Cases for the Quadratic Assignment Problem
In this paper we present an algorithm for generating quadratic assignment problem (QAP) instances with known provably optimal solution. The flow matrix of such instances is constru...
Gintaras Palubeckis
STOC
2005
ACM
113views Algorithms» more  STOC 2005»
16 years 4 days ago
Efficient testing of groups
We construct an efficient probabilistic algorithm that, given a finite set with a binary operation, tests if it is an abelian group. The distance used is an analogue of the edit d...
Katalin Friedl, Gábor Ivanyos, Miklos Santh...