1492 search results - page 236 / 299 » Testing Properties of Constraint-Graphs |
85
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
124
Voted
CSSC
2008
15 years 3 months ago
2008
The decorrelating property of the discrete wavelet transformation (DWT) appears valuable because one can avoid estimating the correlation structure in the original data space by b...
118
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
A detailed study on the design of decentralized Receding Horizon Control (RHC) schemes for decoupled systems is presented. An optimal control problem is formulated for a set of de...
148
Voted
CN
2006
15 years 3 months ago
2006
Managing trust is a key issue for a wide acceptance of P2P computing, particularly in critical areas such as e-commerce. Reputation-based trust management has been identified in t...
117
click to vote
CSDA
2006
15 years 3 months ago
2006
An improved method for generalized constrained canonical correlation analysis (GCCANO) is proposed. In the original GCCANO, data matrices were first decomposed into the sum of sev...