396 search results - page 46 / 80 » Combining decision procedures for the reals |
125
click to vote
PAMI
2011
14 years 8 months ago
2011
—A novel framework is proposed for the design of cost-sensitive boosting algorithms. The framework is based on the identification of two necessary conditions for optimal cost-sen...
121
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
141
click to vote
JUCS
2008
15 years 1 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
115
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a non-rigid registration method for the restoration of double-sided historical manuscripts. Firstly, the gradient direction maps of the two images of a manuscr...
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper introduces a planning method for handling furniture which exists in real world. We propose a method which is easily expandable its handle able furniture such as clos...