Sciweavers

5788 search results - page 983 / 1158
» High Performance Computing for the Masses
Sort
View
HIS
2009
15 years 2 months ago
Design Methodology of a Fault Aware Controller Using an Incipient Fault Diagonizer
The problem of failure diagnosis has received a considerable attention in the domain of reliability engineering, process control and computer science. The increasing stringent req...
Joydeb Roychoudhury, Tribeni Prasad Banerjee, Anup...
ICDAR
2009
IEEE
15 years 2 months ago
A Unified Framework Based on the Level Set Approach for Segmentation of Unconstrained Double-Sided Document Images Suffering fro
A novel method for the segmentation of double-sided ancient document images suffering from bleed-through effect is presented. It takes advantage of the level set framework to prov...
Reza Farrahi Moghaddam, David Rivest-Hénaul...
ICFEM
2009
Springer
15 years 2 months ago
Implementing a Direct Method for Certificate Translation
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...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
ICIP
2009
IEEE
15 years 2 months ago
Cat face detection with two heterogeneous features
In this paper, we propose a generic and efficient object detection framework based on two heterogeneous features and demonstrate effectiveness of our method for a cat face detecti...
Tatsuo Kozakaya, Satoshi Ito, Susumu Kubota, Osamu...
ICRA
2009
IEEE
126views Robotics» more  ICRA 2009»
15 years 2 months ago
Time-bounded lattice for efficient planning in dynamic environments
For vehicles navigating initially unknown cluttered environments, current state-of-the-art planning algorithms are able to plan and re-plan dynamically-feasible paths efficiently a...
Aleksandr Kushleyev, Maxim Likhachev