1128 search results - page 96 / 226 » Classical Natural Deduction |
MM
2004
ACM
14 years 3 months ago
2004
ACM
Involving a school teacher in the development of the intelligent writing tutor StoryStation allowed progress to be made on the problem of story classification, an aspect of story...
LICS
1991
IEEE
14 years 1 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The stable marriage problem is a well-known problem of matching men to women so that no man and woman, who are not married to each other, both prefer each other. Such a problem ha...
WWW
2011
ACM
13 years 5 months ago
2011
ACM
In this paper, we study the problem of transfer learning from text to images in the context of network data in which link based bridges are available to transfer the knowledge bet...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
Methods for super-resolution can be broadly classified
into two families of methods: (i) The classical multi-image
super-resolution (combining images obtained at subpixel
misali...