7426 search results - page 402 / 1486 » The LHC Computing Challenge |
224
click to vote
DAGSTUHL
2001
15 years 9 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
191
click to vote
PDCN
2004
15 years 9 months ago
2004
The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...
170
click to vote
AE
2009
Springer
15 years 8 months ago
2009
Springer
This paper reports on a feasibility study into the evolution of robot controllers during the actual operation of robots (on-line), using only the computational resources within the...
157
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Large-scale global optimization (LSGO) is a very important and challenging task in optimization domain, which is embedded in many scientific and engineering applications. In this p...
195
click to vote
CCIA
2009
Springer
15 years 8 months ago
2009
Springer
General object recognition in mobile robots is of primary importance in order to enhance the representation of the environment that robots will use for their reasoning processes. T...