Search results for "computational complexity."

showing 10 items of 245 documents

Cooperative Inventory control

2005

In multi-retailer inventory control the possibility of sharing setup costs motivates communication and coordination among the retailers. We solve the problem of finding suboptimal distributed reordering policies that minimize setup, ordering, storage, and shortage costs incurred by the retailers over a finite horizon. Neuro-dynamic programming (NDP) reduces the computational complexity of the solution algorithm from exponential to polynomial on the number of retailers.

Inventory controlConsensus protocol; Inventory level; Nash equilibrium; Setup cost; Supply chain;Inventory levelPolynomialMathematical optimizationComputational complexity theoryComputer scienceSetup costSupply chainEconomic shortageFinite horizonSupply chainConsensus protocolNash equilibriumExponential functionComputingMilieux_GENERALsymbols.namesakeNash equilibriumsymbols
researchProduct

Image boundaries detection: from thresholding to implicit curve evolution

2014

The development of high dimensional large-scale imaging devices increases the need of fast, robust and accurate image segmentation methods. Due to its intrinsic advantages such as the ability to extract complex boundaries, while handling topological changes automatically, the level set method (LSM) has been widely used in boundaries detection. Nevertheless, their computational complexity limits their use for real time systems. Furthermore, most of the LSMs share the limit of leading very often to a local minimum, while the effectiveness of many computer vision applications depends on the whole image boundaries. In this paper, using the image thresholding and the implicit curve evolution fra…

Level set methodComputational complexity theorybusiness.industry0211 other engineering and technologies02 engineering and technologyImage segmentationThresholdingImage (mathematics)Level set[INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV][INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV][ INFO.INFO-TI ] Computer Science [cs]/Image Processing0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer visionLimit (mathematics)Artificial intelligenceGraphicsbusinessAlgorithmComputingMilieux_MISCELLANEOUS021101 geological & geomatics engineeringMathematics
researchProduct

The PLVC display color characterization model revisited

2008

This work proposes a study of the Piecewise Linear assuming Variation in Chromaticity (PLVC) dis- play color characterization model. This model has not been widely used as the improved accuracy compared with the more common PLCC (Piecewise Linear assuming Chromaticity Constancy) model is not significant for CRT (Cathode Ray Tube) display technology, and it requires more computing power than this model. With today's computers, computational complexity is less of a problem, and today's display technologies show a different colori- metric behavior than CRTs. The main contribution of this work is to generalize the PLVC model to multiprimary displays and to provide extensive experimental results…

Liquid-crystal displayComputational complexity theoryCathode ray tubeComputer scienceGeneral Chemical EngineeringHuman Factors and ErgonomicsGeneral Chemistrylaw.inventionDisplay devicePiecewise linear functionCRTSlawComputer graphics (images)Metric (mathematics)ChromaticityAlgorithmColor Research & Application
researchProduct

Real Time Stereo Matching Using Two Step Zero-Mean SAD and Dynamic Programing

2018

Dense depth map extraction is a dynamic research field in a computer vision that tries to recover three-dimensional information from a stereo image pair. A large variety of algorithms has been developed. The local methods based on block matching that are prevalent due to the linear computational complexity and easy implementation. This local cost is used on global methods as graph cut and dynamic programming in order to reduce sensitivity to local to occlusion and uniform texture. This paper proposes a new method for matching images based on a two-stage of block matching as local cost function and dynamic programming as energy optimization approach. In our work introduce the two stage of th…

Matching (statistics)Computational complexity theory010308 nuclear & particles physicsComputer scienceGraphics hardware02 engineering and technology01 natural sciencesDynamic programmingCUDASum of absolute differencesDepth mapComputer Science::Computer Vision and Pattern RecognitionCut0103 physical sciences0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingAlgorithm2018 15th International Multi-Conference on Systems, Signals & Devices (SSD)
researchProduct

The guarded fragment with transitive guards

2004

The guarded fragment with transitive guards, (GF+TG), is an extension of the guarded frag- ment of 9rst-order logic, GF, in which certain predicates are required to be transitive, transitive predicate letters appear only in guards of the quanti9ers and the equality symbol may appear everywhere. We prove that the decision problem for (GF+TG) is decidable. Moreover, we show that the problem is in 2EXPTIME. This result is optimal since the satis9ability problem for GF is 2EXPTIME-complete (J. Symbolic Logic 64 (1999) 1719-1742). We also show that the satis- 9ability problem for two-variable (GF+TG) is NEXPTIME-hard in contrast to GF with bounded number of variables for which the satis9ability …

Mathematical logicDiscrete mathematicsCombinatoricsTransitive relationComputational complexity theoryLogicBounded functionDecision problemPredicate (grammar)First-order logicDecidabilityMathematicsAnnals of Pure and Applied Logic
researchProduct

Resource allocation for OFDMA systems with multi-cell joint transmission

2012

This paper considers the downlink resource allocation of a coordinated multi-cell cluster in OFDMA systems with universal frequency reuse. Multi-cell joint transmission is considered via zero-forcing precoding. Furthermore, joint optimization of the user selection and power allocation across multiple subchannels and multiple cells is studied. The objective is to maximize the weighted sum rate under per-base-station power constraints. Based on general duality theory, two iterative resource allocation algorithms are proposed and compared with the optimal solution, which requires an exhaustive search of all possible combinations of users over all subchannels. Simulation results show that the t…

Mathematical optimizationComputational complexity theoryComputer scienceOrthogonal frequency-division multiplexingIterative methodTelecommunications linkBrute-force searchPrecodingScheduling (computing)Power control2012 IEEE 13th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC)
researchProduct

Data-Driven Pump Scheduling for Cost Minimization in Water Networks

2021

Pumps consume a significant amount of energy in a water distribution network (WDN). With the emergence of dynamic energy cost, the pump scheduling as per user demand is a computationally challenging task. Computing the decision variables of pump scheduling relies over mixed integer optimization (MIO) formulations. However, MIO formulations are NP-hard in general and solving such problems is inefficient in terms of computation time and memory. Moreover, the computational complexity of solving such MIO formulations increases exponentially with the size of the WDN. As an alternative, we propose a data-driven approach to estimate the decision variables of pump scheduling using deep neural netwo…

Mathematical optimizationComputational complexity theoryComputer scienceScheduling (production processes)Dynamic priority schedulingMinificationSolverEnergy (signal processing)Integer (computer science)Data-driven2021 IEEE International Conference on Autonomous Systems (ICAS)
researchProduct

Combined K-Best sphere decoder based on the channel matrix condition number

2008

It is known that sphere decoding (SD) methods can provide maximum-likelihood (ML) detection over Gaussian MIMO channels with lower complexity than the exhaustive search. Channel matrix condition number represents an important influence on the performance of usual detectors. Throughout this paper, two particular cases of a SD method called K-Best carry out a combined detection in order to reduce the computational complexity with predictable performance degradation. Algorithm selection is based on channel matrix condition number thresholding. K-Best is a suboptimal SD algorithm for finding the ML solution of a detection problem. It is based on a fixed complexity tree search, set by a paramete…

Mathematical optimizationComputational complexity theoryGaussianBrute-force searchThresholdingsymbols.namesakeMatrix (mathematics)symbolsCondition numberAlgorithmDecoding methodsComputer Science::Information TheoryMathematicsCommunication channel2008 3rd International Symposium on Communications, Control and Signal Processing
researchProduct

A fast recursive algorithm for the computation of axial moments

2002

This paper describes a fast algorithm to compute local axial moments used for the detection of objects of interest in images. The basic idea is grounded on the elimination of redundant operations while computing axial moments for two neighboring angles of orientation. The main result is that the complexity of recursive computation of axial moments becomes independent of the total number of computed moments in a given point, i.e. it is of the order O(N) where N is the data size. This result is of great importance in computer vision since many feature extraction methods are based on the computation of axial moments. The experimental results confirm the time complexity and accuracy predicted b…

Mathematical optimizationSettore INF/01 - InformaticaComputational complexity theoryVelocity MomentsOrientation (computer vision)ComputationFeature extractionA fast recursive algorithm for the computation of axial momentsPoint (geometry)Time complexityAlgorithmObject detectionMathematicsProceedings 11th International Conference on Image Analysis and Processing
researchProduct

Parallel Simulated Annealing: Getting Super Linear Speedups

2005

The study described in this paper tries to improve and combine different approaches that are able to speed up applications of the Simulated Annealing model. It investigates separately two main aspects concerning the degree of parallelism an implementation can egectively exploit at the initial andfinal periods of an execution. As for case studies, it deals with two implementations: the Job shop Scheduling problem and the poryblio selection problem. The paper reports the results of a large number of experiments, carried out by means of a transputer network and a hypercube system. They give useful suggestions about selecting the most suitable values of the intervention parameters to achieve su…

Mathematical optimizationSpeedupComputational complexity theoryJob shop schedulingParallel processing (DSP implementation)Computer scienceSimulated annealingDegree of parallelismFlow shop schedulingParallel computingHypercubeProceedings. Second Euromicro Workshop on Parallel and Distributed Processing
researchProduct