42507 search results - page 151 / 8502 » On the analysis of |
137
click to vote
ASPDAC
2005
ACM
16 years 4 days ago
2005
ACM
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...
158
click to vote
FORMATS
2005
Springer
16 years 3 days ago
2005
Springer
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...
174
click to vote
IWBRS
2005
Springer
16 years 2 days ago
2005
Springer
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...
167
click to vote
ICADL
2004
Springer
15 years 12 months ago
2004
Springer
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...
204
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
In a modern business process, documents are important carriers of information between organisations. Document management solutions are increasingly based on structured document for...