Sciweavers

12 search results - page 1 / 3
» Remarks on a generalization of the Davenport constant
Sort
View
DM
2010
114views more  DM 2010»
13 years 4 months ago
Remarks on a generalization of the Davenport constant
A generalization of the Davenport constant is investigated. For a finite abelian group G and a positive integer k, let Dk(G) denote the smallest such that each sequence over G of l...
Michael Freeze, Wolfgang A. Schmid
LICS
2002
IEEE
13 years 9 months ago
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
TIT
2010
171views Education» more  TIT 2010»
12 years 11 months ago
Analysis of orthogonal matching pursuit using the restricted isometry property
Orthogonal matching pursuit (OMP) is the canonical greedy algorithm for sparse approximation. In this paper we demonstrate that the restricted isometry property (RIP) can be used f...
Mark A. Davenport, Michael B. Wakin
IJRR
2010
91views more  IJRR 2010»
13 years 3 months ago
Design and Kinematic Modeling of Constant Curvature Continuum Robots: A Review
Continuum robotics has rapidly become a rich and diverse area of research, with many designs and applications demonstrated. Despite this diversity in form and purpose, there exist...
Robert J. Webster III, Bryan A. Jones
PE
2011
Springer
274views Optimization» more  PE 2011»
12 years 11 months ago
A generalized method of moments for closed queueing networks
We introduce a new solution technique for closed product-form queueing networks that generalizes the Method of Moments (MoM), a recently proposed exact algorithm that is several o...
Giuliano Casale