6719 search results - page 233 / 1344 » A Generalization of Automatic Sequences |
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
LCTRTS
1998
Springer
14 years 2 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
CIARP
2006
Springer
14 years 2 months ago
2006
Springer
This work tackles the categorization of general linear radial patterns by means of the valleys and ridges detection and the use of descriptors of directional information, which are...
ICDAR
2007
IEEE
14 years 5 days ago
2007
IEEE
Performance evaluation for document image analysis and understanding is a recurring problem. Many groundtruthed document image databases are now used to evaluate general algorithm...
CSREASAM
2008
13 years 12 months ago
2008
- Maintaining digital security and privacy are critical issues in the modern workplace. Sensitive and proprietary data is frequently transmitted electronically, and with the large ...