1422 search results - page 234 / 285 » Complementation in Abstract Interpretation |
118
click to vote
IWAN
1999
Springer
15 years 7 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
122
click to vote
SIGIR
1998
ACM
15 years 7 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
113
click to vote
EP
1998
Springer
15 years 7 months ago
1998
Springer
Two complementary de facto standards for the publication of electronic documents are HTML on the World Wide Web and Adobe's PDF (Portable Document Format) language for use wi...
117
click to vote
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
119
click to vote
SOFSEM
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...