3657 search results - page 517 / 732 » A Study of Practical Deduplication |
167
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
172
click to vote
EUROPAR
1999
Springer
15 years 10 months ago
1999
Springer
Two-level predictors deliver highly accurate conditional branch prediction, indirect branch target prediction and value prediction. Accurate prediction enables speculative executio...
193
click to vote
WECWIS
1999
IEEE
15 years 10 months ago
1999
IEEE
Internet business has grown at an unprecedented rate in the past several years. Recent research has found that the functions provided by a store have a significant impact on custo...
165
click to vote
KI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
158
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...