3317 search results - page 225 / 664 » Strategies in Rigid-Variable Methods |
133
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
173
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functi...
182
click to vote
MACE
2009
Springer
16 years 1 months ago
2009
Springer
Learned models of behavior have the disadvantage that they must be retrained after any change in system configuration. Autonomic management methods based upon learned models lose ...
157
click to vote
PSIVT
2009
Springer
16 years 1 months ago
2009
Springer
Implicit surface reconstruction has been a challenging work for decades. In this paper, motivated by the concept of classic physical polar field model and off-set points strategy...
168
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
A method for 3D scalable visualization, in a client/server environment is presented. The main idea presented in this paper is to increase the quality of 3D visualization for low b...