Sciweavers

16091 search results - page 254 / 3219
» Solving
Sort
View
VRIPHYS
2010
15 years 1 months ago
Asynchronous Preconditioners for Efficient Solving of Non-linear Deformations
In this paper, we present a set of methods to improve numerical solvers, as used in real-time non-linear deformable models based on implicit integration schemes. The proposed appr...
Hadrien Courtecuisse, Jérémie Allard...
NFM
2011
335views Formal Methods» more  NFM 2011»
15 years 1 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
ICAART
2011
INSTICC
14 years 10 months ago
A Local Search Approach to Solve Incomplete Fuzzy CSPs
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...