5550 search results - page 987 / 1110 » Different Approaches to Proof Systems |
164
click to vote
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Low-overhead checkpointing and rollback is a popular technique for fault recovery. While different approaches are possible, hardware-supported checkpointing and rollback at the ca...
173
click to vote
MJ
2006
15 years 6 months ago
2006
A new hybrid approach consists to use the advantages of both systems namely the high geometric aspects of the electrodes of the ultracapacitor and the high dielectric strength of ...
299
click to vote
MTA
2006
15 years 6 months ago
2006
Shape of an object is an important feature for image and multimedia similarity retrievals. In our previous studies we introduced a new boundary-based technique (MBC-based) for shap...
190
click to vote
MTA
2006
15 years 6 months ago
2006
In this paper, an object-based video retrieval methodology for search in large, heterogeneous video collections is presented. The proposed approach employs a real-time, compressed-...
191
click to vote
IJCV
2007
15 years 6 months ago
2007
This paper presents a new real-time localization system for a mobile robot. We show that autonomous navigation is possible in outdoor situation with the use of a single camera and ...