220 search results - page 10 / 44 » Using Difference Reduction for Generic Proof Search |
CADUI
2004
13 years 9 months ago
2004
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
JAR
1998
13 years 7 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we describe the first stage of a new learning system for object detection and recognition. For our system we propose Boosting [5] as the underlying learning technique...
VLDB
2001
ACM
14 years 9 days ago
2001
ACM
Bulk loading refers to the process of creating an index from scratch for a given data set. This problem is well understood for B-trees, but so far, non-traditional index structure...
COMAD
2008
13 years 9 months ago
2008
Semantic information helps in identifying the context of a document. It will be interesting to find out how effectively this information can be used in recommending related docume...