1057 search results - page 74 / 212 » its 1998 |
CSCW
1998
ACM
14 years 2 months ago
1998
ACM
The growth in interest in virtual environments in CSCW has focused on co-operation within these environments. Little consideration has been given to how users manage these environ...
AMTA
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Parallel corpora are a valuable resource for machine translation, but at present their availability and utility is limited by genreand domain-speci city, licensing restri...
ANTS
1998
Springer
14 years 2 months ago
1998
Springer
In this note we address the question whether for a given prime number p, the zeta-function of a number field always determines the p-part of its class number. The answer is known t...
ISPD
1998
ACM
14 years 2 months ago
1998
ACM
We propose a simple, isometry invariant pattern matching algorithm for an effective data reduction useful in layout-related data processing of very complex IC designs. The repeata...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...