Filters








229,035 Hits in 3.3 sec

Constraint Problem Specification as Compression

Steve Prestwich, S. Armagan Tarim, Roberto Rossi
unpublished
This can produce problem descriptions of comparable size to those in existing specification languages, via techniques similar to those used in data compression.  ...  We show that Constraint Logic Programming can be used as a meta-language to describe itself more compactly at a higher level of abstraction.  ...  Specifications as compressed CLP models Kolmogorov uses CLP in two ways: as a (higher-level) specification language and as a (lowerlevel) constraint modeling language.  ... 
doi:10.29007/7ths fatcat:y4weudwopvehla74kvsfafk2ru

EPiC Series in Computing Constraint Problem Specification as Compression

S Prestwich, S Tarim, R Rossi
2016 Pages 280-292 GCAI 2016. 2nd Global Conference on Artificial Intelligence   unpublished
This can produce problem descriptions of comparable size to those in existing specification languages, via techniques similar to those used in data compression.  ...  We show that Constraint Logic Programming can be used as a metalanguage to describe itself more compactly at a higher level of abstraction.  ...  Specifications as compressed CLP models Kolmogorov uses CLP in two ways: as a (higher-level) specification language and as a (lowerlevel) constraint modeling language.  ... 
fatcat:l4jqsasc6ned7ggq2un2mwiofe

Global Inference for Sentence Compression: An Integer Linear Programming Approach

J. Clarke, M. Lapata
2008 The Journal of Artificial Intelligence Research  
Our work views sentence compression as an optimization problem and uses integer linear programming (ILP) to infer globally optimal compressions in the presence of linguistically motivated constraints.  ...  We show how previous formulations of sentence compression can be recast as ILPs and extend these models with novel global constraints.  ...  Constraints We are now ready to describe our compression-specific constraints.  ... 
doi:10.1613/jair.2433 fatcat:e54yv3mtcrfdrah75f5hx43g4i

A DSL to declare aspect execution order

Antoine Marot, Roel Wuyts
2008 Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages - DSAL '08  
It views aspect composition issues as a crosscutting concern that should be handled by a composition aspect.  ...  It proposes a domain-specific declarative aspect composition language for composing aspects, and applies it on a number of examples.  ...  We view this problem as a cross-cutting concern in need of its domain-specific language that enables composers to express compositions easily.  ... 
doi:10.1145/1404927.1404934 fatcat:ugdv74a375gc7apxppqbn4jkui

Page 1351 of American Society of Civil Engineers. Collected Journals Vol. 122, Issue ST11 [page]

1996 American Society of Civil Engineers. Collected Journals  
(11) OPTIMAL DESIGN PROBLEM FORMULATION In this section, the problem of designing steel poles is for- mulated as an optimization problem.  ...  exceeded as follows: t ‘Spent V F, For a dodecagonal section, the compressive stress constraint is written for two different conditions as follows [F, is cal- culated using (16)): If f, + f, = F,, constraint  ... 

Optimal Spread Spectrum Watermark Embedding via a Multistep Feasibility Formulation

H.O. Altun, A. Orsdemir, G. Sharma, M.F. Bocko
2009 IEEE Transactions on Image Processing  
of the watermark in the presence of noise and compression, are posed as constraints while one metric pertaining to these requirements is optimized.  ...  Experimental results demonstrate that the framework is effective in optimizing the desired characteristic while meeting the constraints.  ...  For the formulation of the watermark embedding strength and compression resilience constraints, the proposed methodology relies on modeling the "attacks" on the watermarked image, specifically as additive  ... 
doi:10.1109/tip.2008.2008222 pmid:19131302 fatcat:eis3wptugjdt5moifgwa5qtbsq

Cross-Layer Design for Downlink Multihop Cloud Radio Access Networks With Network Coding

Liang Liu, Wei Yu
2017 IEEE Transactions on Signal Processing  
This is in comparison to the compression-based strategy, where information is unicast over the fronthaul network by simple routing, and the RRH's compression noise covariance and beamforming vectors, as  ...  well as the routing strategy over the fronthaul network are jointly optimized based on the successive convex approximation technique.  ...  Moreover, the converged solution satisfies all the constraints as well as the KKT conditions of problem (27).  ... 
doi:10.1109/tsp.2017.2649486 fatcat:4xljkklmxrh2xebc25n7mlotqq

Constraint-Aware Deep Neural Network Compression [chapter]

Changan Chen, Frederick Tung, Naveen Vedula, Greg Mori
2018 Lecture Notes in Computer Science  
We formulate the compression learning problem from the perspective of constrained Bayesian optimization, and introduce a cooling (annealing) strategy to guide the network compression towards the target  ...  We propose the first principled treatment of deep network compression under operational constraints.  ...  Constraint-Aware Network Compression The problem of deep network compression with constraints can be expressed as follows.  ... 
doi:10.1007/978-3-030-01237-3_25 fatcat:5of5gwhtd5c2bj7cjoptzajqyi

Optimal Compression and Transmission Rate Control for Node-Lifetime Maximization [article]

Sheeraz A. Alvi, Xiangyun Zhou, Salman Durrani
2018 arXiv   pre-print
We formulate and solve joint optimization problems aiming to maximize the lifetime of the sensor node whilst satisfying specific delay and bit error rate (BER) constraints.  ...  Our results show that a jointly optimized compression-transmission policy achieves significantly longer lifetime (90% to 2000%) as compared to optimizing transmission only without compression.  ...  CGI at the sensor node, can be summarized as follows: Problem 1: What is the optimal compression and transmission policy that minimizes the compression and transmission energy cost under specific delay  ... 
arXiv:1803.08650v3 fatcat:htq24zepzbgihbtsxtvajugcoi

Topology and generalized shape optimization: Why stress constraints are so important?

P. Duysinx, L. Van Miegroet, E. Lemaire, O. Brüls, M. Bruyneel
2008 International Journal for Simulation and Multidisciplinary Design Optimization  
Revisiting some of their last developments in this field, the authors point out the importance of considering stress constraints as soon as the preliminary design phase, that is, to include stress constraints  ...  in the topology optimization problem in order to get the most appropriate structural layout.  ...  Acknowledgments Part of this research has been realized under research project ARC 03/08-298 'Modeling, Multiphysics Simulation and Optimization of Coupled Problems -Application to Micro ElectroMechanical  ... 
doi:10.1051/ijsmdo/2008034 fatcat:jo2nxwuprzhh5d236ch4veeoaq

Uplink-Downlink Duality Between Multiple-Access and Broadcast Channels with Compressing Relays [article]

Liang Liu, Ya-Feng Liu, Pratik Patil, Wei Yu
2021 arXiv   pre-print
Specifically, we show that under the same total transmit power constraint and individual fronthaul rate constraints, the achievable rate regions of the Gaussian multiple-access and broadcast relay channels  ...  can be transformed into either a linear programming or a semidefinite programming problem depending on the compression technique, and that the uplink and downlink problems are Lagrangian duals of each  ...  Specifically, according to Proposition 3, at the optimal solution, constraint (134) in problem (132) should be satisfied with equality.  ... 
arXiv:2008.10901v3 fatcat:5aqexdurobhrff5aonbo6kqi7q

MIMO Radar Waveform Design With Constant Modulus and Similarity Constraints

Guolong Cui, Hongbin Li, Muralidhar Rangaswamy
2014 IEEE Transactions on Signal Processing  
We present two sequential optimization procedures to maximize the Signal to Interference plus Noise Ratio (SINR), accounting for a constant modulus constraint as well as a similarity constraint involving  ...  Finally, we evaluate the proposed techniques, by considering their SINR performance, beam pattern as well as pulse compression property, via numerical simulations.  ...  Specifically, we first relax the problem (29) to the following fractional SDR problem, by dropping the similarity constraint and the rank-one constraint [26, eqn. 19 ]: (30) where .  ... 
doi:10.1109/tsp.2013.2288086 fatcat:gg7si2pcr5h6fg3fmfv5p7kyzy

Optimum Watermark Design by Vector Space Projections

Oktay Altun, Gaurav Sharma, Mark Bocko
2006 2006 International Conference on Image Processing  
The algorithm distinguishes itself from other watermark optimization techniques in its flexibility for incorporating constraints and in assuring convergence to the globally optimum point when all constraints  ...  We introduce an optimum watermark embedding technique that satisfies common watermarking requirements such as visual fidelity, sufficient embedding rate, robustness against noise and tolerance to benign  ...  BACKGROUND Common Constraints for watermarking The common requirements of watermarking such as imperceptibility, robustness to noise, robustness to compression and detectibility can be represented or  ... 
doi:10.1109/icip.2006.312691 dblp:conf/icip/AltunSB06 fatcat:ed6cgz5kqbheziwtre3wwbqzim

Concept for Audio Quality and Security Assurance in Mobile Phones as Multimodal User Guides

Andrea Oermann, Sandra Gebbensleben, Claus Vielhauer, Jana Dittmann
2006 2006 Second International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution (AXMEDIS'06)  
This model to evaluate audio codecs in relation to three defined and interdependent challenges, addressing three different kinds of problems -technical, environmental, and security, will be introduced  ...  Finding objective measure values acts as the motivation for the development of the presented model.  ...  In order to evaluate these hypotheses in section 5 specific constraints, as further explained in sections 2 and 3, have to be outlined.  ... 
doi:10.1109/axmedis.2006.17 dblp:conf/axmedis/OermannGVD06 fatcat:xff22tqytjdrhci6cg4z2mod3i

Integer Linear Programming for Dutch Sentence Compression [chapter]

Jan De Belder, Marie-Francine Moens
2010 Lecture Notes in Computer Science  
Sentence compression is a valuable task in the framework of text summarization.  ...  In this paper we compress sentences from news articles from Dutch and Flemish newspapers written in Dutch using an integer linear programming approach.  ...  The ILP approach operates by viewing sentence compression explicitly as an optimization problem.  ... 
doi:10.1007/978-3-642-12116-6_60 fatcat:q4zlkhls4jat3k6lcp4ed4idgq
« Previous Showing results 1 — 15 out of 229,035 results