Sciweavers

1721 search results - page 47 / 345
» The fundamentals of hybrid systems modelers
Sort
View
ICSM
2009
IEEE
15 years 4 months ago
Predicting change impact from logical models
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
Sunny Wong, Yuanfang Cai
HYBRID
1998
Springer
15 years 2 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
ICPR
2000
IEEE
15 years 11 months ago
Improved Degraded Document Recognition with Hybrid Modeling Techniques and Character N-Grams
In this paper a robust multifont character recognition system for degraded documents such as photocopy or fax is described. The system is based on Hidden Markov Models (HMMs) usin...
Anja Brakensiek, Daniel Willett, Gerhard Rigoll
ICPR
2008
IEEE
15 years 11 months ago
Hybrid statistical-structural on-line Chinese character recognition with fuzzy inference system
In this paper, we propose an original hybrid statistical-structural method for on-line Chinese character recognition. We model characters thanks to fuzzy inference rules combining...
Éric Anquetil, Adrien Delaye, Sébast...
WSC
2007
15 years 5 days ago
A hybrid inventory control system approach applied to the food industry
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
David Claudio, Jie Zhang, Ying Zhang