Sciweavers

16216 search results - page 323 / 3244
» Effective Modeling with Constraints
Sort
View
SBIA
2010
Springer
15 years 5 months ago
High-Level Modeling of Component-Based CSPs
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
Raphaël Chenouard, Laurent Granvilliers, Rica...
CISS
2007
IEEE
16 years 1 months ago
On Capacity of Automatic Target Recognition Systems Under the Constraint of PCA-Encoding
Limiting capabilities of practical recognition systems are determined by a variety of factors that include source encoding techniques, quality of images, complexity of underlying ...
Xiaohan Chen, Natalia A. Schmid
LPAR
2007
Springer
16 years 28 days ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 6 months ago
Capacity Results for Block-Stationary Gaussian Fading Channels with a Peak Power Constraint
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...
Jun Chen, Venugopal V. Veeravalli
ICPP
2009
IEEE
16 years 1 months ago
Optimizing the Latency of Streaming Applications under Throughput and Reliability Constraints
In this paper, we deal with the problem of scheduling streaming applications on unreliable heterogeneous platforms. We use the realistic one-port model with full computation/commu...
Anne Benoit, Mourad Hakem, Yves Robert