935 search results - page 85 / 187 » A Framework for Obfuscated Interpretation |
139
click to vote
ENTCS
2010
15 years 4 months ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...
137
click to vote
ENTCS
2008
15 years 4 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
139
click to vote
IJCV
2006
15 years 4 months ago
2006
Understanding facial expressions in image sequences is an easy task for humans. Some of us are capable of lipreading by interpreting the motion of the mouth. Automatic lipreading b...
145
click to vote
JSYML
2002
15 years 4 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
146
click to vote
ML
2002
ACM
15 years 4 months ago
2002
ACM
I describe a framework for interpreting Support Vector Machines (SVMs) as maximum a posteriori (MAP) solutions to inference problems with Gaussian Process priors. This probabilisti...