1008 search results - page 54 / 202 » Canonicity! |
132
Voted
KRMED
2004
15 years 4 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
137
Voted
ESANN
2003
15 years 4 months ago
2003
Abstract. We focus on covariance criteria for finding a suitable subspace for regression in a reproducing kernel Hilbert space: kernel principal component analysis, kernel partial...
104
Voted
APPML
2010
15 years 2 months ago
2010
In this paper, we determine the critical time, when a weak discontinuity in the shallow water equations culminates into a bore. Invariance group properties of the governing system...
92
Voted
ENTCS
2008
15 years 2 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
102
Voted
ECCC
2006
15 years 2 months ago
2006
In this paper we ask the question whether the extended Frege proof system EF satisfies a weak version of the deduction theorem. We prove that if this is the case, then complete dis...