1076 search results - page 24 / 216 » Operations on proofs and labels |
ROOM
2000
13 years 9 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
JCT
2006
13 years 7 months ago
2006
We prove a combinatorial formula conjectured by Loehr and Warrington for the coefficient of the sign character in (pn). Here denotes the Bergeron-Garsia nabla operator, and pn is a...
ISDA
2008
IEEE
14 years 1 months ago
2008
IEEE
In multi-label text databases one or more labels, or categories, can be assigned to a single document. In many such databases there can be correlation on the assignment of subsets...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
A sparse representation based method is proposed for text detection from scene images. We start with edge information extracted using Canny operator and then group these edge poin...
ENTCS
2007
13 years 7 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...