40 search results - page 3 / 8 » icalp 2003 |
49
Voted
ICALP
2003
Springer
15 years 3 months ago
2003
Springer
82
Voted
ICALP
2003
Springer
15 years 3 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
15 years 3 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
15 years 3 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,
100
Voted
ICALP
2003
Springer
15 years 3 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...