2642 search results - page 176 / 529 » Merge-by-Wire: Algorithms and System Support |
266
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
115
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
151
click to vote
COOPIS
2003
IEEE
15 years 10 months ago
2003
IEEE
We consider the problem of query evaluation in Peer-to-Peer (P2P) systems that support semantic-based retrieval services. We confine ourselves to the case where the peers employ t...
131
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present the design of Dynabot, a guided Deep Web discovery system. Dynabot's modular architecture supports focused crawling of the Deep Web with an emphasis on matching, p...
130
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...