8949 search results - page 1404 / 1790 » is 1998 |
194
click to vote
HT
1998
ACM
15 years 12 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
185
click to vote
HT
1998
ACM
15 years 12 months ago
1998
ACM
“Linking by inking” is a new interface for reader-directed link construction that bridges reading and browsing activities. We are developing linking by inking in XLibris, a hy...
240
click to vote
AMTA
1998
Springer
15 years 12 months ago
1998
Springer
Cross-language retrieval systems use queries in one natural language to guide retrieval of documents that might be written in another. Acquisition and representation of translation...
189
click to vote
ICFP
1998
ACM
15 years 12 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
164
click to vote
ANTS
1998
Springer
15 years 12 months ago
1998
Springer
Call a set of integers {b1, b2, . . . , bk} admissible if for any prime p, at least one congruence class modulo p does not contain any of the bi. Let (x) be the size of the largest...