11 search results - page 1 / 3 » Premise Selection in the Naproche System |
CADE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
ICIP
2005
IEEE
14 years 6 months ago
2005
IEEE
A new approach for selective edge enhancement using unsharp masking is presented. This is based on the premise that biological vision and image reproduction share common principle...
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents an oblivious real-time video watermarking scheme in which extended m-sequences is selected as watermark pattern. The good balance property of extended m-sequen...
ADC
2003
Springer
13 years 10 months ago
2003
Springer
This paper proposes a novel way of automatically developing data warehouse configuration in rule-based CRM systems. Rule-based CRM systems assume that marketing activities are re...
ADC
2009
Springer
13 years 11 months ago
2009
Springer
Comparative evaluations of information retrieval systems are based on a number of key premises, including that representative topic sets can be created, that suitable relevance ju...