Sciweavers

363 search results - page 57 / 73
» Decomposition of the NVALUE constraint
Sort
View
EVOW
2011
Springer
14 years 1 months ago
Local Search for Mixed-Integer Nonlinear Optimization: A Methodology and an Application
Abstract. A methodology is presented for tackling mixed-integer nonlinear optimization problems by local search, in particular large-scale real-life problems. This methodology is i...
Frédéric Gardi, Karim Nouioua
CASES
2004
ACM
15 years 3 months ago
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vi...
88
Voted
TSP
2008
109views more  TSP 2008»
14 years 9 months ago
Constrained Tensor Modeling Approach to Blind Multiple-Antenna CDMA Schemes
In this paper, we consider an uplink multiple-antenna Code-Division Multiple-Access (CDMA) system linking several multiple-antenna mobile users to one multiple-antenna base-statio...
André L. F. de Almeida, Gérard Favie...
ISBI
2008
IEEE
15 years 10 months ago
Analysis and mitigation of calcium artifacts in cardiac multidetector CT
Multi-detector Computed Tomography offers the promise of a non-invasive alternative to invasive coronary angiography for the evaluation of coronary artery disease. An impediment p...
Zhuangli Liang, W. Clem Karl, Synho Do, Thomas Bra...
SOCO
2009
Springer
15 years 4 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry