10159 search results - page 1749 / 2032 » System Design Validation Using Formal Models |
156
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
189
click to vote
WSC
2008
15 years 9 months ago
2008
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
165
click to vote
ISCI
2008
15 years 6 months ago
2008
An increase in the performance of deteriorating systems can be achieved through the adoption of suitable maintenance policies. One of the most popular maintenance policies is the ...
175
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose a method that can beautify user's handwriting to the character of Kai style calligraphy. Structural and style features of Chinese character are summ...
202
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In off-line handwriting recognition, classifiers based on hidden Markov models (HMMs) have become very popular. However, while there exist well-established training algorithms, s...