2006 search results - page 85 / 402 » Testing with Respect to Concerns |
IJCAI
1989
13 years 10 months ago
1989
This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
ECEASST
2010
13 years 6 months ago
2010
: Free/Libre Open Source Software (FLOSS) projects can be considered as learning environments in which heterogeneous communities get together to exchange knowledge through discussi...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We introduce a new shape normalization method based on implicit shape representations. The proposed method is robust with respect to deformations and invariant to similarity trans...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Recently, some linear approaches to camera calibration from sphere images are proposed. In this paper, a novel linear approach is proposed by exploiting the identity constraint on...