Sciweavers

882 search results - page 66 / 177
» Analysis of Composite Corridors
Sort
View
ICPR
2004
IEEE
14 years 9 months ago
Morphological Tagging Approach in Document Analysis of Invoices
In this paper a morphological tagging approach for document image invoice analysis is described. Tokens close by their morphology and confirmed in their location within different ...
Abdel Belaïd, Yolande Belaïd
ATS
2002
IEEE
110views Hardware» more  ATS 2002»
14 years 1 months ago
Test Requirement Analysis for Low Cost Hierarchical Test Path Construction
We propose a methodology that examines design modules and identifies appropriate vector justification and response propagation requirements for hierarchical test. Based on a cel...
Yiorgos Makris, Alex Orailoglu
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 1 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
CSFW
2000
IEEE
14 years 1 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...
ICRA
1993
IEEE
112views Robotics» more  ICRA 1993»
14 years 26 days ago
Analysis and Control for Manipulators with Both Joint and Link Flexibility
This work is focused on the analysis of manipulators with both joint and link flexibility. Due to the different order of joint and link stiffness, the full-order nonlinear system ...
Jung-Hua Yang, Li-Chen Fu