3454 search results - page 576 / 691 » Modern computer algebra |
GI
2007
Springer
14 years 3 months ago
2007
Springer
: In modernen Produktionsunternehmen gilt mehr denn je die Devise Zeit ist Geld. Daher ist eine zeitnahe Reaktion auf Vorfälle und Entwicklungen innerhalb der eigenen Produktion a...
SIGGRAPH
2009
ACM
14 years 3 months ago
2009
ACM
Spectral methods for mesh processing and analysis rely on the eigenvalues, eigenvectors, or eigenspace projections derived from appropriately defined mesh operators to carry out ...
SCA
2007
13 years 11 months ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
Power has become a critical concern for battery-driven computing systems, on which many applications that are run are interactive. System-level voltage scaling techniques, such as...
CSR
2007
Springer
14 years 3 months ago
2007
Springer
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...