Abstract— This paper proposes an approach to cope with temporal power/ground voltage fluctuation for static timing analysis. The proposed approach replaces temporal noise with a...
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
Abstract. While features used for texture analysis have been successfully used in some biometric applications, only quite few works have considered them in facial image analysis. T...
This paper reports our research in the Web page filtering process in specialized search engine development. We propose a machine-learning-based approach that combines Web content a...
In a modern business process, documents are important carriers of information between organisations. Document management solutions are increasingly based on structured document for...