509 search results - page 70 / 102 » On the completeness of compositional reasoning methods |
TABLEAUX
1999
Springer
14 years 1 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
IBPRIA
2007
Springer
14 years 21 days ago
2007
Springer
Shape elongation is one of the basic shape descriptors that has a very clear intuitive meaning. That is reason for its applicability in many shape classification tasks. In this pap...
EXACT
2008
13 years 11 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
FECS
2008
13 years 10 months ago
2008
- Net4Voice project consists in testing voice recognition techniques and methods within learning contexts. The need to support learning process with non traditional technologies de...
IJBRA
2006
13 years 8 months ago
2006
: As medical/biological imaging facilities move towards complete film-less imaging, compression plays a key role. Although lossy compression techniques yield high compression rates...