2316 search results - page 3 / 464 » The many forms of hypercomputation |
NAR
2011
12 years 8 months ago
2011
The protein common interface database (ProtCID) is a database that contains clusters of similar homodimeric and heterodimeric interfaces observed in multiple crystal forms (CFs). ...
LPAR
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
ISMVL
2000
IEEE
13 years 10 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
AIPR
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper presents an approach of fusing images from many video cameras or a moving video camera with external orientation data (e.g. GPS and INS data) into a few mosaiced images...
ISMVL
1993
IEEE
13 years 10 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...