3994 search results - page 217 / 799 » A Linear Logical Framework |
159
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
168
click to vote
LOGCOM
2002
15 years 6 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
176
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper presents a simple but robust visual tracking algorithm based on representing the appearances of objects using affine warps of learned linear subspaces of the image spac...
191
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
The detection of faces in images is fundamentally a rare event detection problem. Cascade classifiers provide an efficient computational solution, by leveraging the asymmetry in t...
149
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...