5090 search results - page 391 / 1018 » Constructing Strategies for Programming |
129
click to vote
COMPSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
176
click to vote
ICDAR
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper, we present a compressed pattern matching method for searching user queried words in the CCITT Group 4 compressed document images, without decompressing. The feature...
178
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper concerns a study of information content in postal address fields for automatic address interpretation. Information provided by a combination of address components and i...
178
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
In this paper a novel method of reference places' detection to build topological models is described, as well as an algorithm for route planning based on Fuzzy Petri Nets. The...
198
click to vote
ALP
1997
Springer
15 years 11 months ago
1997
Springer
We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. Levy's ordering 2 on reductions) in nite reductions in Conditional Orthogonal ...