1096 search results - page 28 / 220 » Computation Slicing: Techniques and Theory |
DAGSTUHL
2010
13 years 9 months ago
2010
This paper provides a survey of approaches for special relativistic visualization. Visualization techniques are classified into three categories: Minkowski spacetime diagrams, dep...
ICRA
1998
IEEE
14 years 1 days ago
1998
IEEE
: In this paper we present novel algorithms to compute quasi-static and dynamic equilibrium positions and orientations (if any) of 2D polygonal or curved parts placed on general sh...
IJON
2008
13 years 7 months ago
2008
In this work we address the problem of boundary detection by combining ideas and approaches from biological and computational vision. Initially, we propose a simple and efficient ...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...