- Karlsruhe, Baden-Württemberg, Germany
Research Interests:
Research Interests:
Research Interests:
... Te Cheng Alessandra Cherubini Jacek Chrzaszcz Hung Dang Van Anuj Dawar Tiago De Lima Alexander de Luca Ronald de Wolf Christian Decker Olivier Delgrange Daniel Delling Sophie Demassey Konstantinos Efstathiou Khaled Elbassioni Ulle ...... more
... Te Cheng Alessandra Cherubini Jacek Chrzaszcz Hung Dang Van Anuj Dawar Tiago De Lima Alexander de Luca Ronald de Wolf Christian Decker Olivier Delgrange Daniel Delling Sophie Demassey Konstantinos Efstathiou Khaled Elbassioni Ulle ... 465 M. Sohel Rahman and ...
ABSTRACT Traditionelle Suchmaschinen stoβen im World Wide Web heute schnell an ihre Grenzen. Einerseits liefern Suchanfragen oft Listen mit Millionen von Ergebnisdokumenten zurück, sodass die Vollständigkeit des Suchergebnisses nicht mehr... more
ABSTRACT Traditionelle Suchmaschinen stoβen im World Wide Web heute schnell an ihre Grenzen. Einerseits liefern Suchanfragen oft Listen mit Millionen von Ergebnisdokumenten zurück, sodass die Vollständigkeit des Suchergebnisses nicht mehr beurteilt werden kann. Andererseits finden sich darin zahlreiche nicht relevante Informationen, verursacht durch die Mehrdeutigkeiten, unterschiedlichen Kontext oder Pragmatik. Wünschenswert wären sowohl eine höhere Treffgenauigkeit und damit Qualität der erzielten Suchergebnisse sowie ein besserer überblick über die Ergebnisse bzw. über den gesamten Suchraum. Abhilfe verspricht eine Suche, die sich am tatsächlichen Inhalt der durchsuchten Dokumente und dessen Bedeutung orientiert anstatt wie heute üblich am Vergleich von Zeichenketten, wobei Kontext und Pragmatik berücksichtigt werden müssen. Im Semantic Web wird die Bedeutung multimedialer Dokumente mithilfe geeigneter Wissensrepräsentationen explizit gemacht. Werden diese semantischen Annotationen in den Suchprozess integriert, eröffnen sich neue Möglichkeiten, die Qualität der erzielten Suchergebnisse zu verbessern und speziell an Benutzerbedürfnisse anzupassen. Inhaltliche Zusammenhänge zwischen einzelnen Dokumenten können explizit gemacht werden und erlauben über Klassifikationen und Kategorisierungen neue Wege der Visualisierung des Such- und Ergebnisraumes hin zu einer explorativen Suche, die es dem Benutzer gestattet, die Suchergebnisse und damit im Zusammenhang stehende Informationen zu erkunden. Diese neuen Möglichkeiten der semantischen Suche sollen am Beispiel der Videosuchmaschine yovisto.com dargestellt werden.
Research Interests:
... Te Cheng Alessandra Cherubini Jacek Chrzaszcz Hung Dang Van Anuj Dawar Tiago De Lima Alexander de Luca Ronald de Wolf Christian Decker Olivier Delgrange Daniel Delling Sophie Demassey Konstantinos Efstathiou Khaled Elbassioni Ulle ...... more
... Te Cheng Alessandra Cherubini Jacek Chrzaszcz Hung Dang Van Anuj Dawar Tiago De Lima Alexander de Luca Ronald de Wolf Christian Decker Olivier Delgrange Daniel Delling Sophie Demassey Konstantinos Efstathiou Khaled Elbassioni Ulle ... 465 M. Sohel Rahman and ...
Research Interests:
ABSTRACT s [3]. By introducing parity nodes the representation has the potential of being more compact while on the other hand giving up canonicity. Therefore, the identication of two POBDDs representing the same Boolean function becomes... more
ABSTRACT s [3]. By introducing parity nodes the representation has the potential of being more compact while on the other hand giving up canonicity. Therefore, the identication of two POBDDs representing the same Boolean function becomes an essential operation. We present an ecient probabilistic equivalence test for POBDDs that admits working with POBDDs in an professional environment [4]. Due to the fact that the size of Decision Diagrams crucially depends on the order of the input variables we show how to apply heuristics for POBDD minimization based on dynamic changes in the variable order and the relocation of parity operator nodes inside the data structure. Many problems in practice require the transformation of symbolic variables to a binary encoding for getting accessible with OBDDs or POBDDs. Extending the OBDD data structure from the binary domain to a nite domain results in so called Multi-valued Decision Diagrams (MDDs) [5] and a binary encoding of symbolic variables is not necess
ABSTRACT There is an upcoming need for World Wide Web portal sites to facilitate access to resources for specific research communities. The portal site described in this paper provides a testbed functionality besides additional... more
ABSTRACT There is an upcoming need for World Wide Web portal sites to facilitate access to resources for specific research communities. The portal site described in this paper provides a testbed functionality besides additional information resources that are of interest in the research in Binary Decision Diagrams (BDDs). In the last decade, BDDs have proven to be the state-of-the-art data structure in computer aided design of integrated digital circuits. To assess the strengths and weaknesses of manipulation algorithms for BDDs, benchmark calculation is one of the most important methods in BDD-research. Due to the inherent high sensitivity of these algorithms to the particular experimental setup it is rather difficult or even impossible to reproduce benchmark results for comparison or for independent result verification. We have designed and implemented a WWW based BDD-testbed that overcomes these problems and greatly facilitates BDD algorithm comparison.
Research Interests:
ABSTRACT
Ordered Binary Decision Diagrams (OBDDs) havealready proved useful in the process of electronic designautomation. Due to limitations of the descriptive powerof OBDDs more general models of Binary Decision Diagramshave been studied. In... more
Ordered Binary Decision Diagrams (OBDDs) havealready proved useful in the process of electronic designautomation. Due to limitations of the descriptive powerof OBDDs more general models of Binary Decision Diagramshave been studied. In this paper, -OBDDs asa true extension of the OBDD data structure are addressed.One important factor for the representation sizeof -OBDDs is determined by the number and the positionof the introduced -nodes. Based on a greedy strategya heuristic for...
Ordered Binary Decision Diagrams (OBDDs) have already proved useful in the process of electronic design automation. Due to limitations of the descriptive power of OBDDs more general models of Binary Decision Diagrams have been studied. In... more
Ordered Binary Decision Diagrams (OBDDs) have already proved useful in the process of electronic design automation. Due to limitations of the descriptive power of OBDDs more general models of Binary Decision Diagrams have been studied. In this paper, -OBDDs as a true extension of the OBDD data structure are addressed. One important factor for the representation size of -OBDDs is determined by the number and the position of the introduced O-nodes. Based on a greedy strategy a heuristic for improving the representation size of -OBDDs is developed and its efficiency is proven by symbolic simulation of a standard benchmark set.
This paperpresents a web-basedvisualizationframeworkvisBDD,in tended forlearn ingandun derstan ding basic algorithmsrelated to OrderedBinaryDecisionDiagrams (OBDDs). WithvisBDD the key algorithm forOBDD-synthesis, the ITEalgorithmcanbe... more
This paperpresents a web-basedvisualizationframeworkvisBDD,in tended forlearn ingandun derstan ding basic algorithmsrelated to OrderedBinaryDecisionDiagrams (OBDDs). WithvisBDD the key algorithm forOBDD-synthesis, the ITEalgorithmcanbe exploredindepthand step-by-step by the user,while allinvolved data structurescanbe made visible atdifferentlevels ofabstraction. The framework isin tended as well as forstudents as also forprofessionals, whowant to...
Research Interests:
Research Interests:
The phenomenal increase of online video content confronts the consuming user with an immeasurable amount of data which can only be accessed with sophisticated multimedia search and management technologies. Usual video search engines... more
The phenomenal increase of online video content confronts the consuming user with an immeasurable amount of data which can only be accessed with sophisticated multimedia search and management technologies. Usual video search engines provide a keyword-based search, where lexical ambiguity of natural language often leads to imprecise and incomplete results. Semantics of keywords and metadata has to be determined to
ABSTRACT Die digitale Kommunikation hat sich zu einer der treibenden Kräfte des technischen und kulturellen Fortschritts im 21. Jahrhunderts entwickelt. Im Fokus dieses Bandes standen zunächst die historische Entwicklung und die... more
ABSTRACT Die digitale Kommunikation hat sich zu einer der treibenden Kräfte des technischen und kulturellen Fortschritts im 21. Jahrhunderts entwickelt. Im Fokus dieses Bandes standen zunächst die historische Entwicklung und die technischen Grundlagen der digitalen Kommunikation. Die mit ihr verbundenen Leitmedien „ Internet” und „ World Wide Web” werden aus Platzgründen zunächst nur sehr allgemein besprochen. Eine detailliertere Betrachtung dieser beiden Basistechnologien, die das Verständnis für die digitale Kommunikation vertieft und abrundet, ist Gegenstand der beiden Folgebände unserer Trilogie „ Digitale Kommunikation”, „ Internetworking” und „ Web-Technologien”.
Die rasante Entwicklung der digitalen Kommunikationstechniken, sowohl in ihrer Vielfalt, als auch in ihrer Leistungsfähigkeit nimmt kein Ende. Dabei hält der Trend an, dass die klassischen Medien immer mehr zusammenwachsen:... more
Die rasante Entwicklung der digitalen Kommunikationstechniken, sowohl in ihrer Vielfalt, als auch in ihrer Leistungsfähigkeit nimmt kein Ende. Dabei hält der Trend an, dass die klassischen Medien immer mehr zusammenwachsen: Sprachkommunikation und Datenübertragung sind bereits in modernen Mobilfunknetzen untrennbar miteinander verbunden. Mit dem Einzug der Digitaltechnik ist eine Unterscheidung der einzelnen Medien wie Text, Grafik, Audio oder Video auch nicht mehr notwendig. Kodiert und in digitaler Form haben sie alle die gleiche Gestalt riesenlanger Folgen von Nullen und Einsen und können unterschiedslos über dasselbe Medium übertragen werden. Um diesen Strom von 0en und 1en wieder in seine ursprüngliche Medienausprägung zu überführen, sind Methoden und Verfahren notwendig zur Kodierung und Dekodierung. Diese Aufgabe wird von leistungsfähigen Computern übernommen, die uns allerdings in Zukunft immer seltener in herkömmlicher Gestalt mit Bildschirm und Tastatur entgegentreten werden, sondern als integrierter Systembestandteil in so ziemlich allen Geräten des täglichen Gebrauchs. Heute ist der Computer das Fenster in die digitale Welt und fungiert als integratives Kommunikationsmedium, das eine multimediale Datenkommunikation über eine einheitliche Schnittstelle ermöglicht, nämlich das World Wide Web (WWW) mit seiner einfach und intuitiv zu bedienenden Benutzerschnittstelle, dem Browser.
Research Interests:
Digitale Kommunikation, also die Übermittlung digitaler Nachrichten und Güter braucht Rechnernetze. Doch wie gelangen Informationen in Form von digitalen Daten von einem Rechner zum anderen? Wieso kann eine E-Mail überhaupt korrekt... more
Digitale Kommunikation, also die Übermittlung digitaler Nachrichten und Güter braucht Rechnernetze. Doch wie gelangen Informationen in Form von digitalen Daten von einem Rechner zum anderen? Wieso kann eine E-Mail überhaupt korrekt zugestellt werden? Wie kann unter der Vielzahl der Kommunikationsteilnehmer im weltumspannenden Internet der Richtige herausgefunden werden – und das millionenfach?
Wohl nichts hat die Entwicklung des Menschen so sehr vorangebracht, wie die Fähigkeit, miteinander zu kommunizieren und Informationen auszutauschen. Das Know-how, Kommunikationsinhalte festzuhalten, weiterzugeben und auch über große... more
Wohl nichts hat die Entwicklung des Menschen so sehr vorangebracht, wie die Fähigkeit, miteinander zu kommunizieren und Informationen auszutauschen. Das Know-how, Kommunikationsinhalte festzuhalten, weiterzugeben und auch über große Distanzen zu transportieren, gab menschlichen Gemeinschaften einen entscheidenden Vorteil, sicherte ihnen das “Uberleben und zementierte ihre Vormachtstellung. Die Entwicklung der Schrift und des Papiers als transportabler Kommunikationsträger führte schon bald zur Einrichtung von regulären Botendiensten und ersten Postsystemen. Daneben entstanden bereits in der Antike optische Telegrafiemedien wie Rauch- oder Fackeltelegrafie, die Botschaften mit Hilfe von Relaisstationen über weite Entfernungen sehr schnell transportieren konnten.
This volume contains the proceedings of the I-SEMANTICS 2013. I-SEMANTICS offers a forum for the exchange of latest scientific results in semantic systems and complements these topics with new research challenges in the area of social... more
This volume contains the proceedings of the I-SEMANTICS 2013. I-SEMANTICS offers a forum for the exchange of latest scientific results in semantic systems and complements these topics with new research challenges in the area of social software, semantic content engineering, logic programming and Semantic Web technologies. The conference is in its 9th year and has developed into an internationally visible and professional academic event.
This volume contains the proceedings of the 10th International Conference on Semantic Systems, SEMANTiCS 2014, formerly known as I-Semantics. SEMANTiCS is the annual meeting place for professionals who make semantic computing work, and... more
This volume contains the proceedings of the 10th International Conference on Semantic Systems, SEMANTiCS 2014, formerly known as I-Semantics. SEMANTiCS is the annual meeting place for professionals who make semantic computing work, and understand its benefits and know its limitations. Every year, SEMANTiCS attracts information managers, IT-architects, software engineers, and researchers, from organizations ranging from NPOs, public administrations to the largest companies in the world. SEMANTiCS offers a forum for the exchange of the latest scientific results in semantic systems and complements these topics with new research challenges in the area of big data, semantic content engineering, logic programming and Semantic Web technologies. The conference is in its 10th year and has developed into an internationally recognized and professional academic and business event.
This editorial introduces the special issue based on the best papers from ESWC 2015. And since ESWC'15 marked 15 years of Semantic Web research, we extended this editorial to a position paper that reflects the path that we, as a... more
This editorial introduces the special issue based on the best papers from ESWC 2015. And since ESWC'15 marked 15 years of Semantic Web research, we extended this editorial to a position paper that reflects the path that we, as a community, traveled so far with the goal of transforming the Web of Pages to a Web of Resources. We discuss some of the key challenges, research topics and trends addressed by the Semantic Web community in its journey. We conclude that the symbiotic relation of our community with the Web requires a truly multidisciplinary research approach to support the Web's diversity.