2801 search results - page 142 / 561 » On the Adequateness of the Connection Method |
119
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
157
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
We present a robust approach to creating 2.5D building models from aerial LiDAR point clouds. The method is guaranteed to produce crack-free models composed of complex roofs and ve...
141
click to vote
CVPR
1998
IEEE
15 years 9 months ago
1998
IEEE
We present a method for matching curves which accommodates large and small deformation. The method preserves geometric similarities in the case of small deformation, and loosens t...
163
click to vote
AINA
2008
IEEE
15 years 6 months ago
2008
IEEE
Most network intruders tend to use stepping-stones to attack or to invade other hosts to reduce the risks of being discovered. There have been many approaches that were proposed t...
128
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
Dynamic-Contrast Enhanced MRI (DCE-MRI) is currently used as a complementary diagnosis tool to assess the malignancy of the liver tumor, called hepatoma, hepatocarcinoma, hepatoce...