3238 search results - page 228 / 648 » On the Computational Interpretation of Negation |
209
click to vote
TLCA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
162
click to vote
ICCV
2005
IEEE
16 years 7 days ago
2005
IEEE
Camera Calibration with one-dimensional objects is based on an algebraic constraint on the image of the absolute conic. We will give an alternative derivation to this constraint, ...
147
click to vote
ICCS
2004
Springer
16 years 2 hour ago
2004
Springer
While modern evolutionary theory has emphasized the role of neutral evolution, protein biochemistry and biophysics has interpreted the properties of proteins as largely resulting f...
151
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
In this paper we propose a new and elegant approach toward the generalization of frequent itemset mining to the multirelational case. We define relational itemsets that contain i...
140
click to vote
CHI
2003
ACM
15 years 12 months ago
2003
ACM
Four years of research has led to a theory that describes how people assess the credibility of Web sites. This theory proposes that users notice and interpret various Web site ele...