86 search results - page 15 / 18 » Satisfiability Algorithms and Finite Quantification |
EWC
2011
14 years 4 months ago
2011
Abstract. Finite element mesh adaptation methods can be used to improve the efficiency and accuracy of solutions to computational modeling problems. In many applications involving ...
ADCM
2006
14 years 9 months ago
2006
In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space Wk p (Rs )(1 p ) to a vector refinement equation with a general dil...
MCS
2008
Springer
14 years 9 months ago
2008
Springer
The purpose of this study is to develop an optimum design method for roof shapes satisfying both aesthetic sensibility (beauty) and economic evaluation by using the genetic algori...
STOC
2007
ACM
15 years 9 months ago
2007
ACM
We investigate balls-and-bins processes where m weighted balls are placed into n bins using the "power of two choices" paradigm, whereby a ball is inserted into the less...
123
click to vote
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...