3480 search results - page 563 / 696 » A New Era of Performance Evaluation |
148
Voted
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
124
click to vote
ICMCS
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper a novel method for view independent human movement representation and recognition, exploiting the rich information contained in multi-view videos, is proposed. The bi...
121
click to vote
ICRA
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper presents a new algorithm for object handling tasks based on active tactile and slippage sensations using a humanoid robot multi-fingered arm for an object that exists at...
153
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Penetration testing is widely used to help ensure the security of web applications. It discovers vulnerabilities by simulating attacks from malicious users on a target application...
139
Voted
IEEESCC
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...