2863 search results - page 251 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
122
click to vote
APN
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...
129
click to vote
CLEF
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the general photographic retrieval and object annotation tasks of the ImageCLEF 2006 evaluation campaign. These tasks provide both the resources and the frame...
152
click to vote
IAJIT
2010
15 years 2 months ago
2010
: The content-based retrieval systems for 3D models on the Web become necessary since digital databases of 3D objects are growing. In this paper, we propose a new method to describ...
125
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
Developing accurate and robust palmprint verification algorithms is one of the key issues in automatic palmprint recognition systems. Recently, orientation based coding algorithms...
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
Recent research in industrial robotics aims at the involvement of additional sensoric devices to improve robustness, flexibility and performance of common robot applications. Man...