40 search results - page 3 / 8 » icalp 2003 |
ICALP
2003
Springer
13 years 10 months ago
2003
Springer
ICALP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We show lower bounds in the cell probe model for the redundancy/query time tradeoff of solutions to static data structure problems.
ICALP
2003
Springer
13 years 10 months ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
ICALP
2003
Springer
13 years 10 months ago
2003
Springer
Discounting the future means that the value, today, of a unit payoff is 1 if the payoff occurs today, a if it occurs tomorrow, a2 if it occurs the day after tomorrow,
ICALP
2003
Springer
13 years 10 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...