310 search results - page 26 / 62 » Overview of INEX 2004 |
ROBOCUP
2004
Springer
14 years 27 days ago
2004
Springer
In this paper, we report on the status of the RoboCupJunior league, four years after it was founded. Since its inception in 2000, we have been surveying and/or interviewing student...
SEMWEB
2004
Springer
14 years 27 days ago
2004
Springer
In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the composition plan manually. A number of...
WLP
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
The focus of this paper is on the design and implementation of a critical program in structural biology onto two computational and data grids. The first is the Buffalo-based ACDC ...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents an overview of an assembler driven verification methodology (ADVM) that was created and implemented for a chip card project at Infineon Technologies AG [2]. Th...