8228 search results - page 187 / 1646 » Structural Logical Relations |
147
click to vote
JAR
2002
15 years 4 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...
139
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper proposes the plateau structure imposed by the Pareto dominance relation as a useful determinant of multiobjective metaheuristic performance. In essence, the dominance...
145
click to vote
IJCAI
2003
15 years 5 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
136
Voted
ARTMED
2006
15 years 4 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
123
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In structure from motion, if two metric structures are given, the unknown scale between them can be resolved by constraining the rigidity of the metric space. There exist two well...