Sciweavers

1679 search results - page 185 / 336
» Strong order equivalence
Sort
View
JMIV
2000
86views more  JMIV 2000»
13 years 8 months ago
Vector Median Filters, Inf-Sup Operations, and Coupled PDE's: Theoretical Connections
In this paper, we formally connect between vector median filters, inf-sup morphological operations, and geometric partial differential equations. Considering a lexicographic order,...
Vicent Caselles, Guillermo Sapiro, Do Hyun Chung
MST
2007
132views more  MST 2007»
13 years 8 months ago
Odometers on Regular Languages
Odometers or “adding machines” are usually introduced in the context of positional numeration systems built on a strictly increasing sequence of integers. We generalize this no...
Valérie Berthé, Michel Rigo
OOPSLA
2010
Springer
13 years 7 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
AUTOMATICA
2010
127views more  AUTOMATICA 2010»
13 years 7 months ago
Partitioning datasets based on equalities among parameters
When a phenomenon is described by a parametric model and multiple datasets are available, a key problem in statistics is to discover which datasets are characterized by the same p...
Riccardo Porreca, Giancarlo Ferrari-Trecate
ICASSP
2011
IEEE
13 years 21 days ago
Improved estimation of the amplitude envelope of time-domain signals using true envelope cepstral smoothing
The amplitude modulations of musical instrument sounds and speech are important perceptual cues. Accurate estimation of the amplitude, or equivalently energy, envelope of a time-d...
Marcelo F. Caetano, Xavier Rodet