1362 search results - page 160 / 273 » Means, Correlations and Bounds |
102
click to vote
ROBIO
2006
IEEE
15 years 7 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...
138
click to vote
ICDCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
102
click to vote
CSL
2005
Springer
15 years 7 months 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...
102
click to vote
ICAPR
2005
Springer
15 years 7 months 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...
114
click to vote
SAS
2005
Springer
15 years 7 months 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...