689 search results - page 55 / 138 » The multithreaded version of FORM |
WEBDB
2005
Springer
14 years 1 months ago
2005
Springer
Nonrecursive XQuery is known to be hard for nondeterministic exponential time. Thus it is commonly believed that any algorithm for evaluating XQuery has to require exponential amo...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
A typical software development team leaves behind a large amount of information. This information takes different forms, such as mail messages, software releases, version control ...
3DIM
2003
IEEE
14 years 1 months ago
2003
IEEE
In this contribution we firstly review some approaches to recover the 3D shape of human figures and the related movements. Then we present an improved and reliable version of an e...