4934 search results - page 84 / 987 » complexity 2008 |
119
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...
130
Voted
IJRR
2008
15 years 3 months ago
2008
This paper deals with minimum time trajectory optimization along a specified path subject to thermal constraints. We point out here that robots are often integrated in complex rob...
116
click to vote
TOG
2002
15 years 3 months ago
2002
In this paper we present a general method for rapid prototyping of realistic character motion. We solve for the natural motion from a simple animation provided by the animator. Ou...
137
click to vote
TIP
2008
15 years 3 months ago
2008
Our aim in this paper is to tighten the link between wavelets, some classical image-processing operators, and David Marr's theory of early vision. The cornerstone of our appro...
149
Voted
FUIN
2008
15 years 4 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...