1508 search results - page 184 / 302 » A Combination Method for Generating Interpolants |
150
click to vote
TCS
2002
15 years 4 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We study matroidal networks introduced by Dougherty et al., who showed that if a network is scalar-linearly solvable over some finite field, then the network is a matroidal network...
153
Voted
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper introduces a framework for long-distance face recognition using dense and sparse stereo reconstruction, with texture of the facial region. Two methods to determine corr...
162
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
151
Voted
BMVC
2010
15 years 2 months ago
2010
We propose a novel general framework with a boosting algorithm to achieve active object classification by view selection. The proposed framework actively decides the next best vie...