7811 search results - page 355 / 1563 » computer 2004 |
176
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
Tree-walking automata are a natural sequential model for recognizing languages of finite trees. Such automata walk around the tree and may decide in the end to accept it. It is s...
166
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
148
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
157
click to vote
IWCIA
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. This paper explores the combinatorial aspects of symmetric and antisymmetric forms represented in tensor algebra. The development of geometric perspective gained from ten...
171
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
We present a framework for processing point-based surfaces via partial differential equations (PDEs). Our framework efficiently and effectively brings well-known PDE-based process...