1664 search results - page 208 / 333 » Towards Partial Reasoning |
191
click to vote
KBS
2011
14 years 12 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
306
Voted
FM
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
134
click to vote
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
This article proposes a solution of the Lambertian shape from shading (SFS) problem in the case of a pinhole camera model (performing a perspective projection). Our approach is ba...
129
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
A novel deformable model for image segmentation and shape recovery is presented. The model is inspired by fluid dynamics and is based on a flooding simulation similar to the waters...
160
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. In this paper we describe a flexible approach for determining the relative orientation of the camera with respect to the scene. The main premise of the approach is the fa...