7123 search results - page 130 / 1425 » The Ordered Set of Rough Sets |
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
AGP
1999
IEEE
14 years 2 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
ECML
2006
Springer
14 years 1 months ago
2006
Springer
This paper studies the PAC and agnostic PAC learnability of some standard function classes in the learning in higher-order logic setting introduced by Lloyd et al. In particular, i...
BMVC
2002
14 years 16 days ago
2002
The appearance of a rough surface is affected by the direction from which it is lit and texture classifiers should account for this. We propose a classifier that is robust to ligh...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...