1578 search results - page 206 / 316 » Induction of Stable Models |
83
Voted
MLQ
2007
15 years 5 days ago
2007
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...
147
click to vote
FOCS
2006
IEEE
15 years 6 months ago
2006
IEEE
We introduce a game theoretic model of network formation in an effort to understand the complex system of business relationships between various Internet entities (e.g., Autonomou...
127
Voted
LOGCOM
2010
14 years 11 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
141
Voted
PR
2008
15 years 4 days ago
2008
This paper proposes a real-time 3D head tracking method that can handle large rotation and translation. To achieve this goal, we incorporate the following three approaches into th...
114
Voted
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we describe a multi-modal ear and face biometric system. The system is comprised of two components: a 3D ear recognition component and a 2D face recognition componen...