Sciweavers

1057 search results - page 74 / 212
» its 1998
Sort
View
170
Voted
CSCW
1998
ACM
15 years 10 months ago
Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes
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...
Jonathan Trevor, Tom Rodden, Gareth Smith
AMTA
1998
Springer
15 years 10 months ago
Parallel Strands: A Preliminary Investigation into Mining the Web for Bilingual Text
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...
Philip Resnik
ANTS
1998
Springer
139views Algorithms» more  ANTS 1998»
15 years 10 months ago
Generating Arithmetically Equivalent Number Fields with Elliptic Curves
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...
Bart de Smit
157
Voted
ISPD
1998
ACM
111views Hardware» more  ISPD 1998»
15 years 10 months ago
A pattern matching algorithm for verification and analysis of very large IC layouts
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...
Mariusz Niewczas, Wojciech Maly, Andrzej J. Strojw...
CADE
1998
Springer
15 years 10 months ago
Automated Theorem Proving in a Simple Meta-Logic for LF
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
Carsten Schürmann, Frank Pfenning