8828 search results - page 1194 / 1766 » Formal methods in practice |
199
click to vote
COMGEO
2006
ACM
15 years 7 months ago
2006
ACM
We present an approach for the exact and efficient computation of a cell in an arrangement of quadric surfaces. All calculations are based on exact rational algebraic methods and ...
188
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
132
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We refine and extend an earlier MDL denoising criterion for wavelet-based denoising. We start by showing that the denoising problem can be reformulated as a clustering problem, whe...
172
click to vote
CPHYSICS
2006
15 years 7 months ago
2006
A new method of evaluating transition matrix elements between wave functions associated with orthogonal polynomials is proposed. The technique relies on purely algebraic manipulat...
197
click to vote
CSJM
2006
15 years 7 months ago
2006
Traveling Salesman Problem (TSP) is a generic name that includes diverse practical models. Motivated by applications, a new model of TSP is examined -- a synthesis of classical TS...