Knowledge compilation is a common technique for propositionallogic knowledge bases. A given knowledge base is transformedinto a normal form, for which queries can be answered efficiently. Thisprecompilation step is expensive, but it only has to be performed once.We apply this technique to...

The semantics of rich multimedia presentations in the websuch as SMIL, SVG and Flash cannot or only to a verylimited extend be understood by search engines today. Thishampers the retrieval of such presentations and makes theirarchival and management a difficult task. Existing metadatamodels and...

Neue Technologien und Innovationen stellen heutzutage wichtige Schlüsselelemente derWachstums‐ und Erfolgssicherung von Unternehmen dar. Durch einen in Geschwindigkeitund Intensität immer schneller zunehmenden Wettbewerb nehmen Innovationen eine immerzentralere Rolle im Praxisalltag von...

Dieses Dokument schlägt ein Konzept für eine Personal Key Infrastrukturin iCity vor. Über ein Trust Center (TC) ausgestellte Zertikategewährleisten einen sicheren Schlüsselaustausch mit nachweisbarer Authentisierungdes Kommunikationspartners, Abhörsicherheit sowie Unverfälschtheit und...