1672 search results - page 183 / 335 » Interactive Mathematical Documents |
119
click to vote
ICICIC
2006
IEEE
15 years 10 months ago
2006
IEEE
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
147
Voted
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
149
click to vote
DSSCV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Several image processing algorithms imitate the lateral interaction of neurons in the visual striate cortex V1 to account for the correlations along contours and lines. H...
125
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The interaction among variables of an optimization problem is known as epistasis, and its degree is an important measure for the nonlinearity of the problem. We address the proble...
140
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...