396 search results - page 61 / 80 » Combining decision procedures for the reals |
109
click to vote
IPAS
2008
15 years 3 months ago
2008
Multivariate images are now commonly produced in many applications. If their process is possible due to computers power and new programming languages, theoretical difficulties hav...
111
click to vote
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper presents a new technique for combining multiple texture feature extraction methods in order to classify the pixels of an input image into a set of texture models of int...
147
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
138
click to vote
EOR
2006
15 years 1 months ago
2006
One of the most important, common and critical management issues lies in determining the "best" project portfolio out of a given set of investment proposals. As this dec...
100
click to vote
ICDM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Methods for learning decision rules are being successfully applied to many problem domains, especially where understanding and interpretation of the learned model is necessary. ...