2333 search results - page 188 / 467 » Recursive Computational Depth |
127
click to vote
MFCS
1994
Springer
15 years 10 months ago
1994
Springer
We introduce the notion of empty alternation by investigating alternating automata which are restricted to empty their storage except for a logarithmically space-bounded tape befor...
191
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
144
click to vote
ENTCS
2006
15 years 6 months ago
2006
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
137
click to vote
CGA
1998
15 years 6 months ago
1998
We are investigating methods to accelerate rendering of architectural walkthroughs. In this paper, we improve upon a cells and portals framework by using images to replace geometr...
150
click to vote
GPC
2009
Springer
15 years 4 months ago
2009
Springer
Mashups, a new web 2.0 technology provide the ability for easy creation of web-based applications by end-users. The uses of the mashups are often consumer related. In this paper w...