3690 search results - page 347 / 738 » Computation with classical sequents |
201
click to vote
ACII
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, we present a face alignment system to deal with various poses and expressions. In addition to global shape model, we use component shape model such as mouth shape mo...
203
click to vote
COCO
2005
Springer
16 years 11 days ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
189
click to vote
CONTEXT
2005
Springer
16 years 11 days ago
2005
Springer
Although being a daily task, the search for a word among others words is a new research domain we investigated in order to find the kinds contextual factors that can facilitate sem...
169
click to vote
CSL
2005
Springer
16 years 11 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
197
click to vote
ECML
2005
Springer
16 years 10 days ago
2005
Springer
Finding a point which minimizes the maximal distortion with respect to a dataset is an important estimation problem that has recently received growing attentions in machine learnin...