1223 search results - page 140 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
163
click to vote
CTCS
1989
Springer
15 years 10 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
197
click to vote
PLANX
2007
15 years 7 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
219
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
166
click to vote
ICDAR
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper presents our work on automatically locating charts from document pages, which is an important stage in the chart image recognition and understanding system being develo...
182
click to vote
RSP
1998
IEEE
15 years 10 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...