10934 search results - page 1905 / 2187 » High performance computing and communications |
183
click to vote
WOA
2000
15 years 8 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
166
click to vote
NIPS
1993
15 years 8 months ago
1993
The game of Go has a high branching factor that defeats the tree search approach used in computer chess, and long-range spatiotemporal interactions that make position evaluation e...
238
click to vote
AVSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Visual tracking with moving cameras is a challenging task. The global motion induced by the moving camera moves the target object outside the expected search area, according to th...
153
click to vote
BILDMED
2009
15 years 7 months ago
2009
During endovascular aortic repair (EVAR) treatment, the aortic shape is subject to severe deformation that is imposed by medical instruments such as guide wires, catheters, and the...
177
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
A developmental model of neural network is presented and evaluated in the game of Checkers. The network is developed using cartesian genetic programs (CGP) as genotypes. Two agent...