1390 search results - page 5 / 278 » Computing the depth of a flat |
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
DCC
2002
IEEE
14 years 7 months ago
2002
IEEE
In this paper, we report work on a family of variable-length codes with less redundancy than the de facto flat code used in most of the variable size dynamic dictionary based comp...
CONCUR
2004
Springer
14 years 24 days ago
2004
Springer
RTA
2009
Springer
13 years 12 months ago
2009
Springer
ENTCS
2006
13 years 7 months ago
2006
This paper discusses numerical experiments of wave front propagation on a flat disk and related results. In particular, notions of extremal rays and wave front caustics are introd...