1264 search results - page 39 / 253 » Towards Theory Translation |
BIRTHDAY
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms m...
NIPS
2000
13 years 10 months ago
2000
We introduce total wire length as salient complexity measure for an analysis of the circuit complexity of sensory processing in biological neural systems and neuromorphic engineer...
ICTAI
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
CIE
2010
Springer
14 years 1 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...