Sciweavers

28 search results - page 3 / 6
» Positive solutions to a generalized second order three-point...
Sort
View
SAT
2009
Springer
91views Hardware» more  SAT 2009»
14 years 9 days ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
PATAT
2000
Springer
123views Education» more  PATAT 2000»
13 years 9 months ago
A Multicriteria Approach to Examination Timetabling
The main aim of this paper is to consider university examination timetabling problems as multicriteria decision problems. A new multicriteria approach to solving such problems is p...
Edmund K. Burke, Yuri Bykov, Sanja Petrovic
CORR
2010
Springer
48views Education» more  CORR 2010»
13 years 3 months ago
On Maxwell fluid with relaxation time and viscosity depending on the pressure
We study a variant of the well known Maxwell model for viscoelastic fluids, namely we consider the Maxwell fluid with viscosity and relaxation time depending on the pressure. Such...
Satish Karra, Vít Prusa, K. R. Rajagopal
EMMCVPR
2011
Springer
12 years 5 months ago
Curvature Regularization for Curves and Surfaces in a Global Optimization Framework
Length and area regularization are commonplace for inverse problems today. It has however turned out to be much more difficult to incorporate a curvature prior. In this paper we pr...
Petter Strandmark, Fredrik Kahl
CPAIOR
2010
Springer
13 years 10 months ago
Constraint Reasoning with Uncertain Data Using CDF-Intervals
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
Aya Saad, Carmen Gervet, Slim Abdennadher