Search results for "coding"

showing 10 items of 920 documents

New Encodings of Pseudo-Boolean Constraints into CNF

2009

International audience; This paper answers affirmatively the open question of the existence of a polynomial size CNF encoding of pseudo-Boolean (PB) constraints such that generalized arc consistency (GAC) is maintained through unit propagation (UP). All previous encodings of PB constraints either did not allow UP to maintain GAC, or were of exponential size in the worst case. This paper presents an encoding that realizes both of the desired properties. From a theoretical point of view, this narrows the gap between the expressive power of clauses and the one of pseudo-Boolean constraints.

Discrete mathematics[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]Polynomial021103 operations researchUnit propagation[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]0211 other engineering and technologies[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]02 engineering and technologyComputer Science::Computational ComplexityExpressive powerExponential functionCombinatorics[ INFO.INFO-CC ] Computer Science [cs]/Computational Complexity [cs.CC]Encoding (memory)0202 electrical engineering electronic engineering information engineeringLocal consistency020201 artificial intelligence & image processingPoint (geometry)[INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC][ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]Mathematics
researchProduct

Regression Wavelet Analysis for Lossless Coding of Remote-Sensing Data

2016

A novel wavelet-based scheme to increase coefficient independence in hyperspectral images is introduced for lossless coding. The proposed regression wavelet analysis (RWA) uses multivariate regression to exploit the relationships among wavelet-transformed components. It builds on our previous nonlinear schemes that estimate each coefficient from neighbor coefficients. Specifically, RWA performs a pyramidal estimation in the wavelet domain, thus reducing the statistical relations in the residuals and the energy of the representation compared to existing wavelet-based schemes. We propose three regression models to address the issues concerning estimation accuracy, component scalability, and c…

Discrete wavelet transformComputational complexity theorybusiness.industry0211 other engineering and technologiesHyperspectral imagingPattern recognitionRegression analysis02 engineering and technologyWavelet packet decompositionWaveletPrincipal component analysis0202 electrical engineering electronic engineering information engineeringGeneral Earth and Planetary Sciences020201 artificial intelligence & image processingArtificial intelligenceElectrical and Electronic Engineeringbusiness021101 geological & geomatics engineeringRemote sensingMathematicsCoding (social sciences)IEEE Transactions on Geoscience and Remote Sensing
researchProduct

Data Compression Using Wavelet and Local Cosine Transforms

2015

The chapter describes an algorithm that compresses two-dimensional data arrays, which are piece-wise smooth in one direction and have oscillating events in the other direction. Seismic, hyper-spectral and fingerprints data, for example, have such a mixed structure. The transform part of the compression process is an algorithm that combines wavelet and local cosine transform (LCT). The quantization and the entropy coding parts of the compression are taken from the SPIHT codec. To efficiently apply the SPIHT codec to a mixed coefficients array, reordering of the LCT coefficients takes place. On the data arrays, which have the mixed structure, this algorithm outperforms other algorithms that a…

Discrete wavelet transformComputer scienceComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONWavelet transformData_CODINGANDINFORMATIONTHEORYcomputer.file_formatWavelet packet decompositionSet partitioning in hierarchical treesWaveletJPEG 2000Discrete cosine transformAlgorithmcomputerData compression
researchProduct

The effect of wavelet and discrete cosine transform compression of digital radiographs on the detection of subtle proximal caries. ROC analysis.

2007

The study compared diagnostic performances of 2 different image compression methods: JPEG (discrete cosine transform; Joint Photographic Experts Group compression standard) versus JPEG2000 (discrete wavelet transform), both at a compression ratio of 12:1, from the original uncompressed TIFF radiograph with respect to the detection of non-cavitated carious lesions. Therefore, 100 approximal surfaces of 50 tooth pairs were evaluated on the radiographs by 10 experienced observers using a 5-point confidence scale. Observations were carried out on a standardized viewing monitor under subdued light conditions. The proportion of diseased surfaces was balanced to approximately 50% to avoid bias. Tr…

Discrete wavelet transformDental CariesSensitivity and SpecificityDiagnosis DifferentialWaveletComputer Science::MultimediaDiscrete cosine transformHumansDental EnamelGeneral DentistryLossless JPEGTransform codingMathematicsObserver VariationMicroscopybusiness.industryPattern recognitioncomputer.file_formatMicrotomyRadiography Dental DigitalData CompressionJPEGROC CurveJPEG 2000DentinArtificial intelligencebusinesscomputerAlgorithmsImage compressionCaries research
researchProduct

Locally Supported Wavelets on the Sphere

1998

We construct explicitly wavelets on the sphere that provide a locally supported and stable basis for the Sobolev spaces H2,0 ⩽ s < 1. We get at hand at fast wavelet transform with almost optimal complexity. This basis can be easily implemented in numerical schemes. We apply the wavelet transform to singularity detection and data compression. This contribution summarizes the results of [1].

Discrete wavelet transformLifting schemeBasis (linear algebra)Applied MathematicsMathematical analysisComputational MechanicsWavelet transformData_CODINGANDINFORMATIONTHEORYSobolev spaceWaveletApplied mathematicsFast wavelet transformContinuous wavelet transformMathematicsZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik
researchProduct

Fractional wavelet transform

1997

The wavelet transform, which has had a growing importance in signal and image processing, has been generalized by association with both the wavelet transform and the fractional Fourier transform. Possible implementations of the new transformation are in image compression, image transmission, transient signal processing, etc. Computer simulations demonstrate the abilities of the novel transform. Optical implementation of this transform is briefly discussed.

Discrete wavelet transformLifting schemeComputer scienceNon-uniform discrete Fourier transformMaterials Science (miscellaneous)Stationary wavelet transformComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONTop-hat transformImage processingData_CODINGANDINFORMATIONTHEORYIndustrial and Manufacturing EngineeringDiscrete Fourier transformWavelet packet decompositionsymbols.namesakeDiscrete Fourier transform (general)Multidimensional signal processingOpticsWaveletHartley transformBusiness and International ManagementS transformConstant Q transformContinuous wavelet transformSignal processingbusiness.industrySecond-generation wavelet transformFourier opticsShort-time Fourier transformWavelet transformFractional wavelet transformFractional Fourier transformTime–frequency analysisFourier transformsymbolsHarmonic wavelet transformbusinessAlgorithmImage compression
researchProduct

A Mellin transform approach to wavelet analysis

2015

The paper proposes a fractional calculus approach to continuous wavelet analysis. Upon introducing a Mellin transform expression of the mother wavelet, it is shown that the wavelet transform of an arbitrary function f(t) can be given a fractional representation involving a suitable number of Riesz integrals of f(t), and corresponding fractional moments of the mother wavelet. This result serves as a basis for an original approach to wavelet analysis of linear systems under arbitrary excitations. In particular, using the proposed fractional representation for the wavelet transform of the excitation, it is found that the wavelet transform of the response can readily be computed by a Mellin tra…

Discrete wavelet transformNumerical AnalysisLifting schemeApplied MathematicsStationary wavelet transformSecond-generation wavelet transformMathematical analysisWavelet transformData_CODINGANDINFORMATIONTHEORYFractional calculuWavelet analysiWavelet packet decompositionWaveletModeling and SimulationLinear systemHarmonic wavelet transformNumerical AnalysiMellin transformMathematicsCommunications in Nonlinear Science and Numerical Simulation
researchProduct

Periodic Spline Wavelets and Wavelet Packets

2014

This chapter presents wavelets and wavelet packets in the spaces of periodic splines of arbitrary order, which, in essence, are the multiple generators for these spaces. The SHA technique provides explicit representation of the wavelets and wavelet packets and fast implementation of the transforms in one and several dimensions.

Discrete wavelet transformSpline (mathematics)WaveletLifting schemeLegendre waveletComputer scienceGabor waveletComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONMathematicsofComputing_NUMERICALANALYSISOrthonormal basisData_CODINGANDINFORMATIONTHEORYAlgorithmWavelet packet decomposition
researchProduct

Letter Position Coding Across Modalities: The Case of Braille Readers

2012

BackgroundThe question of how the brain encodes letter position in written words has attracted increasing attention in recent years. A number of models have recently been proposed to accommodate the fact that transposed-letter stimuli like jugde or caniso are perceptually very close to their base words.MethodologyHere we examined how letter position coding is attained in the tactile modality via Braille reading. The idea is that Braille word recognition may provide more serial processing than the visual modality, and this may produce differences in the input coding schemes employed to encode letters in written words. To that end, we conducted a lexical decision experiment with adult Braille…

Dissociation (neuropsychology)Speech recognitionScienceDecision MakingBiologySemanticsSocial and Behavioral SciencesMemoryLexical decision taskPsychophysicsPsychologyHumansMultidisciplinaryModality (human–computer interaction)PsycholinguisticsQRCognitive PsychologyLinguisticsExperimental PsychologyRecognition PsychologyBrailleSemanticsSerial memory processingScience EducationReadingTouchWord recognitionDevelopmental PsychologySensory AidsMedicineSensory PerceptionCoding (social sciences)Research ArticlePLoS ONE
researchProduct

Toward a Rationale for the PTC124 (Ataluren) Promoted Readthrough of Premature Stop Codons: A Computational Approach and GFP-Reporter Cell-Based Assay

2014

The presence in the mRNA of premature stop codons (PTCs) results in protein truncation responsible for several inherited (genetic) diseases. A well-known example of these diseases is cystic fibrosis (CF), where approximately 10% (worldwide) of patients have nonsense mutations in the CF transmembrane regulator (CFTR) gene. PTC124 (3-(5-(2-fluorophenyl)-1,2,4-oxadiazol-3-yl)-benzoic acid), also known as Ataluren, is a small molecule that has been suggested to allow PTC readthrough even though its target has yet to be identified. In the lack of a general consensus about its mechanism of action, we experimentally tested the ability of PTC124 to promote the readthrough of premature termination c…

Duchenne muscular distrophy (DMD)Protein ConformationNonsense mutationBlotting WesternGreen Fluorescent ProteinsPharmaceutical ScienceCystic Fibrosis Transmembrane Conductance RegulatorSettore BIO/11 - Biologia MolecolareBiologyMolecular Dynamics Simulationmedicine.disease_causeReal-Time Polymerase Chain Reactionpremature termination codons (PTC)ArticleGreen fluorescent proteinchemistry.chemical_compoundDrug DiscoverymedicineCoding regionHumansRNA Messengermolecular dynamics (MD)GeneCells CulturedGeneticsnonsense mutation readthroughMessenger RNAMutationOxadiazolesReverse Transcriptase Polymerase Chain Reactiongreen fluorescent protein (GFP)atalurenSettore CHIM/06 - Chimica OrganicaStop codonAtalurenSettore BIO/18 - GeneticachemistryCodon NonsenseSettore CHIM/03 - Chimica Generale E InorganicaMutationCodon TerminatorMutagenesis Site-DirectedMolecular MedicineNucleic Acid Conformationcystic fibrosis (CF)oxadiazoleHeLa Cells
researchProduct