1960 search results - page 57 / 392 » The Logic of Large Enough |
JCIT
2007
13 years 7 months ago
2007
Many project managers of a large scale project shortened delivery period of his or her projects unwillingly by the request of clients. However, some of them believe there is no dif...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
DATE
2000
IEEE
14 years 5 days ago
2000
IEEE
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications b...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
We present a novel framework for intelligent search and retrieval by image content composition. Very different from the existing Query-by-Example paradigm, logical queries are exp...