11752 search results - page 2031 / 2351 » Those |
168
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
193
Voted
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...
193
click to vote
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
181
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
Data reduction makes datasets smaller but preserves classication structures of interest. It is an important area of research in data mining and databases. In this paper we present...
180
click to vote
ICDAR
1997
IEEE
15 years 11 months ago
1997
IEEE
ABSTRACT: OCR is an error-prone process. It is time-consuming and expensive to manually proofread OCR results. The errors remaining in OCRed texts can cause serious problems in rea...