17082 search results - page 3040 / 3417 » Abstractions for Mobile Computation |
186
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Parallel relational databases have been successful in providing scalable performance for data intensive applications, and much work has been carried out on query processi...
171
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This work describes the use of genetic algorithms for automating the photogrammetric network design process. When planning a photogrammetric network, the cameras should b...
191
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
187
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
182
click to vote
LACL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...