2935 search results - page 400 / 587 » An Integrated Approach to High Integrity Software Verificati... |
172
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
143
click to vote
HPCN
1997
Springer
15 years 10 months ago
1997
Springer
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
165
click to vote
EAGC
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the support for user-defined metrics in the G-PM performance analysis tool. G-PM addresses the demand for aggressive optimisation of Grid applications by using ...
207
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
LDA is a popular subspace based face recognition approach. However, it often suffers from the small sample size problem. When dealing with the high dimensional face data, the LDA ...
196
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
There have been several recent efforts to build behavior-based autonomous creatures. While competent autonomous action is highly desirable, there is an important need to integrate...