3690 search results - page 389 / 738 » Computation with classical sequents |
185
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
To usefully query a location-based service, a mobile device must typically present its own location in its query to the server. This may not be acceptable to clients that wish to ...
154
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Economic incentives are a powerful way of shaping consumer behavior towards more commercially efficient and environmentally sustainable patterns. In this paper, we explore the id...
187
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Photo-realistic rendering algorithms such as Monte Carlo ray tracing sample individual paths to compute images. Noise and aliasing artefacts are usually reduced by supers...
162
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces a scalable maxmin flow control protocol which guarantees the minimum rate for each connection-oriented flow without requiring per-flow information. The proto...
189
click to vote
FCT
1993
Springer
15 years 11 months ago
1993
Springer
The generalized topological sorting problem takes as input a positive integer k and a directed, acyclic graph with some vertices labeled by positive integers, and the goal is to la...