2488 search results - page 456 / 498 » An improvement in formal verification |
110
click to vote
ALIFE
2006
15 years 1 months ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
106
click to vote
ARTMED
2006
15 years 1 months ago
2006
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
EOR
2006
15 years 1 months ago
2006
Deckling, cutting stock or trim loss problems arise when small units are to be fitted into large ones. One aims to reduce stock usage and setups, then favors long runs, surplus ov...
116
click to vote
IJCV
2008
15 years 1 months ago
2008
Histograms of local appearance descriptors are a popular representation for visual recognition. They are highly discriminant with good resistance to local occlusions and to geomet...
EWC
2006
15 years 1 months ago
2006
In engineering analysis, geometric symmetry, when exploited, has two potential benefits: (1) it can significantly reduce the computational time, and (2) it can simultaneously impr...