2685 search results - page 424 / 537 » A Formal Semantics for SPKI |
184
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
199
click to vote
DLT
2003
15 years 7 months ago
2003
A new generalization of context-free grammars is introduced: Boolean grammars allow the use of all set-theoretic operations as an integral part of the formalism of rules. Rigorous...
168
click to vote
KRMED
2004
15 years 7 months ago
2004
To fix the semantics of different kinds of parthood relations we require axioms which go beyond those characterizing partial orderings. I formulate such axioms and show their impl...
179
click to vote
ECIR
2003
Springer
15 years 7 months ago
2003
Springer
Topic Detection and Tracking is an event-based information organization task where online news streams are monitored in order to spot new unreported events and link documents with ...
164
click to vote
EFDBS
2003
2003
Building platforms for information system interoperability - using a UML-based metamodeling approach
15 years 7 months ago
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...