1362 search results - page 160 / 273 » Means, Correlations and Bounds |
166
Voted
ROBIO
2006
IEEE
16 years 1 months ago
2006
IEEE
— The architecture optimization of a three degrees of freedom (3-DOF) planar cable-driven parallel manipulator (CDPM) with multiple objectives has been implemented by means of GA...
212
Voted
ICDCS
2005
IEEE
16 years 19 days ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
176
Voted
CSL
2005
Springer
16 years 17 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
179
click to vote
ICAPR
2005
Springer
16 years 17 days ago
2005
Springer
We present a new approach to detecting defects in random textures which requires only very few defect free samples for unsupervised training. Each product image is divided into ove...
186
Voted
SAS
2005
Springer
16 years 15 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...