963 search results - page 45 / 193 » On the decomposition of rational functions |
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
MICCAI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. It has been shown that brain structures in normal aging undergo significant changes attributed to neurodevelopmental and neurodegeneration processes as a lifelong, dynami...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper, we propose a method to embed the color information of an image in its corresponding grey-level image. The objective of this work is to allow free access to the grey...
CP
2010
Springer
13 years 6 months ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
GEOINFO
2003
13 years 10 months ago
2003
For the construction of digital terrain models based on surface interpolation, it is defined a bivariate function ¡£¢¥¤§¦©¨ that interpolates a finite set of sample ...