Sciweavers

14649 search results - page 298 / 2930
» Principles of problem solving
Sort
View
FUN
2007
Springer
80views Algorithms» more  FUN 2007»
15 years 10 months ago
The Traveling Beams Optical Solutions for Bounded NP-Complete Problems
Architectures for optical processors designed to solve bounded instances of NP-Complete problems are suggested. One approach mimics the traveling salesman by traveling beams that ...
Shlomi Dolev, Hen Fitoussi
CORR
2007
Springer
113views Education» more  CORR 2007»
15 years 6 months ago
Solution of moving-boundary problems by the spectral element method
This paper describes a novel numerical model aiming at solving moving-boundary problems such as free-surface flows or fluid– structure interaction. This model uses a moving-gr...
Nicolas Bodard, Roland Bouffanais, Michel O. Devil...
AICOM
2004
92views more  AICOM 2004»
15 years 6 months ago
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
Abstract. Dechter et al. [5] proposed solving the Temporal Constraint Satisfaction Problem (TCSP) by modeling it as a metaCSP, which is a finite CSP with a unique global constraint...
Berthe Y. Choueiry, Lin Xu
IJCM
2010
108views more  IJCM 2010»
15 years 5 months ago
Lifting solutions of quasilinear convection-dominated problems
The steady state of the quasilinear convection-diffusion-reaction equation ut − (D(u) u) + b(u) u + c(u) = 0 (1) is studied. Depending on the ratio between convection and diff...
J. A. Ferreira, A. P. Mouro, P. Oliveira
CADE
2011
Springer
14 years 6 months ago
Exploiting Symmetry in SMT Problems
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
David Déharbe, Pascal Fontaine, Stephan Mer...