Serveur d'exploration sur l'Université de Trèves

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Allemagne And NotStefan N Her

List of bibliographic references

Number of relevant bibliographic references: 247.
Ident.Authors (with country if any)Title
000000 Ralph Bergmann (informaticien) [Allemagne] ; Yolanda Gil [États-Unis]Retrieval of Semantic Workflows with Knowledge Intensive Similarity Measures
000001 Andreas D. Lattner [Allemagne] ; Jörg Dallmeyer [Allemagne] ; Ingo J. Timm [Allemagne]Learning Dynamic Adaptation Strategies in Agent-Based Traffic Simulation Experiments
000002 Anna Kasprzik [Allemagne] ; Ryo Yoshinaka [Japon]Distributional Learning of Simple Context-Free Tree Grammars
000003 Mirjam Minor [Allemagne] ; Sebastian Görg [Allemagne]Acquiring Adaptation Cases for Scientific Workflows
000004 Henning Fernau [Allemagne] ; Fedor V. Fomin [Norvège] ; Daniel Lokshtanov [Norvège] ; Matthias Mnich [Pays-Bas] ; Geevarghese Philip [Inde] ; Saket Saurabh [Inde]Ranking and Drawing in Subexponential Time
000005 Henning Fernau [Allemagne] ; Ralf Stiebe [Allemagne]On the Expressive Power of Valences in Cooperating Distributed Grammar Systems
000006 Anna Kasprzik [Allemagne]Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data
000007 Ralf Küsters [Allemagne] ; Max Tuengerthal [Allemagne]Ideal Key Derivation and Encryption in Simulation-Based Security
000008 Christoph Lürig [Allemagne] ; Nils Carstengerdes [Allemagne]Filtering Joystick Data for Shooter Design Really Matters
000009 Florian Reitz [Allemagne] ; Oliver Hoffmann [Allemagne]Did They Notice? – A Case-Study on the Community Contribution to Data Quality in DBLP
000010 Pinar Heggernes [Norvège] ; Daniel Meister [Allemagne] ; Udi Rotics [Israël]Computing the Clique-Width of Large Path Powers in Linear Time via a New Characterisation of Clique-Width
000012 Binh-Minh Bui-Xuan [Norvège] ; Pinar Heggernes [Norvège] ; Daniel Meister [Allemagne] ; Andrzej Proskurowski [États-Unis]A Generic Approach to Decomposition Algorithms, with an Application to Digraph Decomposition
000013 Mirjam Minor [Allemagne] ; Ralph Bergmann (informaticien) [Allemagne] ; Sebastian Görg [Allemagne] ; Kirstin Walter [Allemagne]Towards Case-Based Adaptation of Workflows
000014 Christophe Costa Florêncio [Belgique] ; Henning Fernau [Allemagne]Hölder Norms and a Hierarchy Theorem for Parameterized Classes of CCG
000015 Anna Kasprzik [Allemagne]Generalizing over Several Learning Settings
000016 Jörn Schneider [Allemagne] ; Christian Eltges [Allemagne]Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems
000017 Tibor Jager [Allemagne] ; Andy Rupp [Allemagne]The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
000018 Henning Fernau [Allemagne] ; Fedor V. Fomin [Norvège] ; Geevarghese Philip [Inde] ; Saket Saurabh [Inde]The Curse of Connectivity: t -Total Vertex (Edge) Cover
000019 Anna Kasprzik [Allemagne] ; Timo Kötzing [Allemagne]String Extension Learning Using Lattices
000020 Hermann Gruber [Allemagne] ; Stefan Gulan [Allemagne]Simplifying Regular Expressions
000021 Ralf Küsters [Allemagne] ; Tomasz Truderung [Allemagne] ; Andreas Vogt [Allemagne]Proving Coercion-Resistance of Scantegrity II
000022 Christophe Costa Florêncio [Belgique] ; Henning Fernau [Allemagne]Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach
000023 Henning Fernau [Allemagne] ; Serge Gaspers [France] ; Daniel Raible [Allemagne]Exact and Parameterized Algorithms for Max Internal Spanning Tree
000024 Daniel Binkele-Raible [Allemagne] ; Henning Fernau [Allemagne]Enumerate and Measure: Improving Parameter Budget Management
000025 Ljiljana Brankovic [Australie] ; Henning Fernau [Allemagne]Combining Two Worlds: Parameterised Approximation for Vertex Cover
000026 Christian Gla Er [Allemagne] ; Christian Reitwie Ner [Allemagne] ; Heinz Schmitz [Allemagne] ; Maximilian Witek [Allemagne]Approximability and Hardness in Multi-objective Optimization
000027 Florian Reitz [Allemagne] ; Oliver Hoffmann [Allemagne]An Analysis of the Evolving Coverage of Computer Science Sub-fields in the DBLP Digital Library
000028 Daniel Raible [Allemagne] ; Henning Fernau [Allemagne]An Amortized Search Tree Analysis for k -Leaf Spanning Tree
000029 Daniel Binkele-Raible [Allemagne] ; Ljiljana Brankovic [Australie] ; Henning Fernau [Allemagne] ; Joachim Kneis [Allemagne] ; Dieter Kratsch [France] ; Alexander Langer [Allemagne] ; Mathieu Liedloff [France] ; Peter Rossmanith [Allemagne]A Parameterized Route to Exact Puzzles: Breaking the 2 n -Barrier for Irredundance
000030 Daniel Binkele-Raible [Allemagne] ; Henning Fernau [Allemagne]A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem
000031 Gábor Erdélyi [Allemagne] ; Henning Fernau [Allemagne] ; Judy Goldsmith [États-Unis] ; Nicholas Mattei [États-Unis] ; Daniel Raible [Allemagne] ; Jörg Rothe [Allemagne]The Complexity of Probabilistic Lobbying
000032 Martin Rumpler [Allemagne]EXSTASIS – An Extended Status Model for Social Interactions
000034 Henning Fernau [Allemagne] ; Daniel Raible [Allemagne]Searching Trees: An Essay
000036 Franziska Berger [États-Unis] ; Peter Gritzmann [Allemagne] ; Sven De Vries [Allemagne]Minimum Cycle Bases and Their Applications
000037 Ralf Küsters [Allemagne] ; Tomasz Truderung [Allemagne] ; Andreas Vogt [Allemagne]Improving and Simplifying a Variant of Prêt à Voter
000039 Stefan Lucks [Allemagne] ; Andreas Schuler [Allemagne] ; Erik Tews [Allemagne] ; Ralf-Philipp Weinmann [Luxembourg (pays)] ; Matthias Wenzel [Allemagne]Attacks on the DECT Authentication Mechanisms
000040 Henning Fernau [Allemagne] ; Joachim Kneis [Allemagne] ; Dieter Kratsch [France] ; Alexander Langer [Allemagne] ; Mathieu Liedloff [France] ; Daniel Raible [Allemagne] ; Peter Rossmanith [Allemagne]An Exact Algorithm for the Maximum Leaf Spanning Tree Problem
000041 Babak Mougouie [Allemagne]Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC)
000042 Patrick Gebhard [Allemagne] ; Marc Schröder [Allemagne] ; Marcela Charfuelan [Allemagne] ; Christoph Endres [Allemagne] ; Michael Kipp [Allemagne] ; Sathish Pammi [Allemagne] ; Martin Rumpler [Allemagne] ; Oytun Türk [Allemagne]IDEAS4Games: Building Expressive Virtual Characters for Computer Games
000043 Marc Schröder [Allemagne] ; Patrick Gebhard [Allemagne] ; Marcela Charfuelan [Allemagne] ; Christoph Endres [Allemagne] ; Michael Kipp [Allemagne] ; Sathish Pammi [Allemagne] ; Martin Rumpler [Allemagne] ; Oytun Türk [Allemagne]Enhancing Animated Agents in an Instrumented Poker Game
000044 Anna Kasprzik [Allemagne]A Learning Algorithm for Multi-dimensional Trees, or: Learning Beyond Context-Freeness
000045 Daniel Raible [Allemagne] ; Henning Fernau [Allemagne]Power Domination in $\mathcal{O}^*(1.7548^n)$ Using Reference Search Trees
000046 Heiko Wersing [Allemagne] ; Stephan Kirstein [Allemagne] ; Bernd Schneiders [Allemagne] ; Ute Bauer-Wersing [Allemagne] ; Edgar Körner [Allemagne]Online Learning for Bootstrapping of Object Recognition and Localization in a Biologically Motivated Architecture
000047 Christian Gla Er [Allemagne] ; Christian Reitwie Ner [Allemagne] ; Heinz Schmitz [Allemagne]Multiobjective Disk Cover Admits a PTAS
000048 Mathias Pohl [Allemagne] ; Peter Birke [Allemagne]Interactive Exploration of Large Dynamic Networks
000049 Michael Fellows [Australie] ; Henning Fernau [Australie, Allemagne]Facility Location Problems: A Parameterized View
000050 Henning Fernau [Allemagne] ; Daniel Raible [Allemagne]Exact Algorithms for Maximum Acyclic Subgraph on a Superclass of Cubic Graphs
000051 Guoqiang Bai [Allemagne] ; Henning Fernau [Allemagne]Constraint Bipartite Vertex Cover Simpler Exact Algorithms and Implementations
000052 Michael Burch [Allemagne] ; Felix Bott [Allemagne] ; Fabian Beck [Allemagne] ; Stephan Diehl [Allemagne]Cartesian vs. Radial – A Comparative Evaluation of Two Visualization Tools
000053 Tina Mattes [Allemagne] ; Frank Schiller [Allemagne] ; Annemarie Mörwald [Allemagne] ; Thomas Honold [République populaire de Chine]Analysis of Nested CRC with Additional Net Data in Communication
000054 Henning Fernau [Allemagne] ; Daniel Raible [Allemagne]A Parameterized Perspective on Packing Paths of Length Two
000055 Daniel Raible [Allemagne] ; Henning Fernau [Allemagne]A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach
000056 Mirjam Minor [Allemagne] ; Alexander Tartakovski [Allemagne] ; Ralph Bergmann (informaticien) [Allemagne]Representation and Structure-Based Similarity Assessment for Agile Workflows
000060 Carsten Görg [États-Unis] ; Mathias Pohl [Allemagne] ; Ermir Qeli [Allemagne] ; Kai Xu [Australie]Visual Representations
000062 Bruno Berstel [France] ; Philippe Bonnard [France] ; François Bry [Allemagne] ; Michael Eckert [Allemagne] ; Paula-Lavinia P Trânjan [Allemagne]Reactive Rules on the Web
000064 Luciana S. Buriol [Brésil] ; Gereon Frahling [États-Unis] ; Stefano Leonardi [Italie] ; Christian Sohler [Allemagne]Estimating Clustering Indexes in Data Streams
000065 Peter Schneider [Allemagne] ; Axel Mattenklott [Allemagne]Emotion Eliciting Events in the Workplace: An Intercultural Comparison
000066 Artur Gajek [Allemagne] ; Stefan Klink [Allemagne] ; Patrick Reuther [Allemagne] ; Bernd Walter [Allemagne] ; Alexander Weber [Allemagne]Bibliographical Meta Search Engine for the Retrieval of Scientific Articles
000067 Alexander Ivanyukovich [Italie] ; Maurizio Marchese [Italie] ; Patrick Reuther [Allemagne]Assessing Quality Dynamics in Unsupervised Metadata Extraction for Digital Libraries
000068 Ralph Bergmann (informaticien) [Allemagne]Ambient Intelligence for Decision Making in Fire Service Organizations
000070 Ralph Bergmann (informaticien) [Allemagne] ; Babak Mougouie [Allemagne]Finding Similar Deductive Consequences – A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge
000071 Mirjam Minor [Allemagne]Experience Management with Case-Based Assistant Systems
000072 Ralph Bergmann (informaticien) [Allemagne] ; Andrea Fre Mann [Allemagne] ; Kerstin Maximini [Allemagne] ; Rainer Maximini [Allemagne] ; Thomas Sauer [Allemagne]Case-Based Support for Collaborative Business
000073 Henning Fernau [Allemagne]edge dominating set : Efficient Enumeration-Based Exact Algorithms
000074 Henning Fernau [Allemagne, Royaume-Uni]Parameterized Algorithms for Hitting Set : The Weighted Case
000075 Alexander Weber [Allemagne] ; Patrick Reuther [Allemagne] ; Bernd Walter [Allemagne] ; Michael Ley [Allemagne] ; Stefan Klink [Allemagne]Multi-Layered Browsing and Visualisation for Digital Libraries
000076 Patrick Reuther [Allemagne] ; Bernd Walter [Allemagne] ; Michael Ley [Allemagne] ; Alexander Weber [Allemagne] ; Stefan Klink [Allemagne]Managing the Quality of Person Names in DBLP
000077 Faisal N. Abu-Khzam [Liban] ; Henning Fernau [Allemagne]Kernels: Annotated, Proper and Induced
000078 Stefan Klink [Allemagne] ; Patrick Reuther [Allemagne] ; Alexander Weber [Allemagne] ; Bernd Walter [Allemagne] ; Michael Ley [Allemagne]Analysing Social Networks Within Bibliographical Data
000080 Ulrich Reimer [Suisse] ; York Sure [Allemagne] ; Andreas Eberhart [Allemagne] ; Edith Maier [Suisse] ; Hans-Peter Schnurr [Allemagne]Workshop on Intelligent IT Tools for Knowledge Management Systems: Applicability, Usability, and Benefits
000082 Marita Muscholl [Allemagne] ; Kerstin Maximini [Allemagne]Workshop on Current Aspects of Knowledge Management in Medicine (KMM05)
000083 Marcus Willamowski [Allemagne] ; Oliver W. Wendel [Allemagne] ; Jan Kuhlmann [Allemagne]Workshop Knowledge Management in International Professional Services Firms (KMIPSF 2005)
000084 Thilo Deussen [Allemagne] ; Thomas R. Roth-Berghofer [Allemagne] ; Gregor Büchel [Allemagne] ; Bertin Klein [Allemagne]Working Together in Philosophy and Informatics: An Introduction to the Contributions of the Second International Workshop on Philosophy and Informatics (WSPI 2005)
000086 Karsten Böhm [Allemagne] ; Alexander Scherf [Allemagne]Using Digital Communication Structures to Support Knowledge Management
000087 Hooman Katirai [États-Unis, Allemagne] ; Ulrich Sax [États-Unis, Allemagne]Unlocking the Value of Clinical Information: What You Need to Do Now to Enjoy the Benefits in the Future
000088 Andreas Birk [Allemagne] ; Torgeir Dings Yr [Norvège]Trends in Learning Software Organizations: Current Needs and Future Solutions
000090 Jan Mendling [Autriche] ; Cristian Pérez De Laborda [Allemagne] ; Uwe Zdun [Autriche]Towards an Integrated BPM Schema: Control Flow Heterogeneity of PNML and BPEL4WS
000091 Andrea Fre Mann [Allemagne] ; Rainer Maximini [Allemagne] ; Thomas Sauer [Allemagne]Towards Collaborative Agent-Based Knowledge Support for Time-Critical and Business-Critical Processes
000092 Armin Stahl [Allemagne] ; Martin Schaaf [Allemagne] ; Ralph Traphöner [Allemagne]Third German Workshop on Experience Management (GWEM 2005)
000097 Marc Ehrig [Allemagne] ; York Sure [Allemagne] ; Steffen StaabSupervised Learning of an Ontology Alignment Process
000098 Arnim Buch [Allemagne] ; Bernhard Humm [Allemagne]Substance, People, and Tools – Knowledge Management at sd&m
000099 Klaus P. Jantke [Allemagne, Japon] ; Aran Lunzer [Japon] ; Jun Fujima [Japon]Subjunctive Interfaces in Exploratory e-Learning
000101 Sven Abels [Allemagne] ; Liane Haak [Allemagne] ; Axel Hahn [Allemagne]Semantic Interoperability Among Models
000102 Harald Holz [Allemagne] ; Heiko Maus [Allemagne] ; Naoyuki Nomura [Japon] ; Martin Schaaf [Allemagne]Second Workshop on Knowledge Management for Distributed Agile Processes: Models, Techniques, and Infrastructure (KMDAP 2005)
000104 Alexander Tartakovski [Allemagne] ; Martin Schaaf [Allemagne] ; Ralph Bergmann (informaticien) [Allemagne]Retrieval and Configuration of Life Insurance Policies
000105 Andreas Abecker [Allemagne] ; Ludger Van Elst [Allemagne] ; Steffen Staab [Allemagne]PAIKM-2005 — Peer-to-Peer and Agent Infrastructures for Knowledge Management
000106 Marc Ehrig [Allemagne] ; York Sure [Allemagne]Ontology Mapping by Axioms (OMA)
000107 Thomas Gabel [Allemagne]On the Use of Vocabulary Knowledge for Learning Similarity Measures
000110 Julian Bahrs [Allemagne] ; Claudia Müller [Allemagne]Modelling and Analysis of Knowledge Intensive Business Processes
000113 Wilhelm Hasselbring [Allemagne] ; Susanne Pedersen [Allemagne]Metamodelling of Domain-Specific Standards for Semantic Interoperability
000114 Ruth Hagengruber [Allemagne]Mapping the Multitude – Categories in a Process Ontology
000116 Heiko Maus [Allemagne] ; Harald Holz [Allemagne] ; Ansgar Bernardi [Allemagne] ; Oleg Rostanin [Allemagne]Leveraging Passive Paper Piles to Active Objects in Personal Knowledge Spaces
000117 Uwe V. Riss [Allemagne]Knowledge, Action, and Context: Impact on Knowledge Management
000118 Wolf-Tilo Balke [Allemagne] ; Klaus Mainzer [Allemagne]Knowledge Representation and the Embodied Mind: Towards a Philosophy and Technology of Personalized Informatics
000120 Brigitte Bartsch-Spörl [Allemagne] ; Klaus North [Allemagne] ; Peter Pawlowsky [Allemagne]Knowledge Management in Small and Medium Enterprises (WMKMU 2005): Integration of HR and IT Perspectives
000121 Christoph Bobrowski [Allemagne] ; Georg Kreymann [Allemagne]Knowledge Management in Internal Medicine Using Lotus Notus – A Knowledge Management Perspective
000122 Bodo Rieger [Allemagne]Knowledge Management and Business Intelligence (KMBI 2005)
000124 Mark Siebert [Allemagne]Knowledge Creation Framework – Enabling Just-in-Time Information Delivery
000125 Klaus Kornwachs [Allemagne]Knowledge + Skills + “x”
000126 Alexander Scherf [Allemagne] ; Karsten Böhm [Allemagne]KnowBiT – Knowledge Management in the Biotechnology Industry
000130 Roman Povalej [Allemagne] ; Wolffried Stucky [Allemagne]Introduction of a Knowledge Information System in a SME, “Skill Matrix” as Pilot Scheme
000131 Mirjam Minor [Allemagne]Introduction Strategy and Feedback from an Experience Management Project
000132 Simon Schenk [Allemagne, Niger]Introducing Social Aspects to Search in Peer-to-Peer Networks
000133 Eric Ras [Allemagne] ; Martin Memmel [Allemagne] ; Stephan Weibelzahl [Irlande (pays)]Integration of E-Learning and Knowledge Management – Barriers, Solutions and Future Issues
000134 Robert Baumgartner [Autriche] ; Oliver Frölich [Autriche] ; Georg Gottlob [Autriche] ; Marcus Herzog [Autriche] ; Peter Lehmann [Allemagne]Integrating Semi-structured Data into Business Applications: A Web Intelligence Example
000135 Marita Muscholl [Allemagne]Integrated Clinical Pathways in Health Information Systems – An Architectural Concept
000137 Ernst Biesalski [Allemagne] ; Andreas Abecker [Allemagne]Human Resource Management with Ontologies
000140 Kari Smolander [Finlande] ; Kurt Schneider [Allemagne] ; Torgeir Dings Yr [Norvège] ; Finn Olav Bj Rnsson [Norvège] ; Pasi Juvonen [Finlande] ; P Ivi Ovaska [Finlande]Future Studies of Learning Software Organizations
000144 Tor Erlend F Gri [Norvège] ; Björn Decker [Allemagne] ; Torgeir Dings Yr [Norvège] ; Letizia Jaccheri [Norvège] ; Patricia Lago [Pays-Bas] ; Dirk Muthig [Allemagne] ; Hans Van Vliet [Pays-Bas]Exploring Communities of Practice for Product Family Engineering
000145 Markus Nick [Allemagne] ; Christian Denger [Allemagne] ; Torsten Willrich [Allemagne]Experience-Based Support for Code Inspections
000146 Marc Becker [Allemagne] ; Hans Czap [Allemagne] ; Malte Poppensieker [Allemagne] ; Alexander Stotz [Allemagne]Estimating Utility-Functions for Negotiating Agents: Using Conjoint Analysis as an Alternative Approach to Expected Utility Measurement
000147 Björn Niehaves [Allemagne] ; Karsten Klose [Allemagne] ; Ralf Knackstedt [Allemagne] ; Jörg Becker [Allemagne]Epistemological Perspectives on IS-Development – A Consensus-Oriented Approach on Conceptual Modeling
000148 Thorsten Keuler [Allemagne] ; Theresa Lehner [Allemagne] ; Björn Decker [Allemagne] ; Dirk Muthig [Allemagne]Efficient Implementation of Intelligent Office Appliances with Software Product Lines
000151 Long Wang [Allemagne] ; Christoph Meinel [Allemagne] ; Chunnian Liu [République populaire de Chine]Discovering Characteristic Individual Accessing Behaviors in Web Environment
000152 Martin Schulz [Allemagne] ; Marcel Klugmann [Allemagne]Creating a Culture of Knowledge Sharing in Law Firms
000153 Thomas H Drich [Allemagne]Contrary Positions About Modeling Knowledge Work
000155 Andrea Fre Mann [Allemagne] ; Kerstin Maximini [Allemagne] ; Rainer Maximini [Allemagne] ; Thomas Sauer [Allemagne]Collaborative Agent-Based Knowledge Support for Empirical and Knowledge-Intense Processes
000156 Frank Puppe ; Georg Buscher ; Martin Atzmueller ; Matthias Hüttig [Allemagne] ; Hans-Peter Buscher [Allemagne]Clinical Experiences with a Knowledge-Based System in Sonography (SonoConsult)
000158 Andreas Schmidt [Allemagne]Bridging the Gap Between Knowledge Management and E-Learning with Context-Aware Corporate Learning
000160 Alexander Tartakovski [Allemagne] ; Martin Schaaf [Allemagne] ; Rainer Maximini [Allemagne]Applying Generalized Cases to Retrieval and Configuration of Life Insurance Policies
000165 Ansgar Bernardi [Allemagne] ; Björn Decker [Allemagne] ; Harald Holz [Allemagne] ; Dirk Muthig [Allemagne] ; Naoyuki Nomura [Japon]1st Intelligent Office Appliances (IOA 2005): Knowledge Appliances in the Office of the Future
000168 Dirk Koschützki [Allemagne] ; Katharina Anna Lehmann [Allemagne] ; Leon Peeters [Suisse] ; Stefan Richter [Allemagne] ; Dagmar Tenfelde-Podehl [Allemagne] ; Oliver Zlotowski [Allemagne]Centrality Indices
000169 Dirk Koschützki [Allemagne] ; Katharina Anna Lehmann [Allemagne] ; Dagmar Tenfelde-Podehl [Allemagne] ; Oliver Zlotowski [Allemagne]Advanced Centrality Concepts
000170 Andrea Fressmann [Allemagne] ; Rainer Maximini [Allemagne] ; Thomas Sauer [Allemagne]Towards collaborative agent-based knowledge support for time-critical and business-critical processes
000171 Alexander Tanakovski [Allemagne] ; Martin Schaaf [Allemagne] ; Ralph Bergmann (informaticien) [Allemagne]Retrieval and configuration of life insurance policies
000172 LONG WANG [Allemagne] ; Christoph Meinel [Allemagne] ; CHUNNIAN LIU [République populaire de Chine]Discovering characteristic individual accessing behaviors in web environment
000173 Andrea Fressmann [Allemagne] ; Kerstin Maximini [Allemagne] ; Rainer Maximini [Allemagne] ; Thomas Sauer [Allemagne]Collaborative agent-based knowledge support for empirical and knowledge-intense processes
000174 Matthias Trier [Allemagne] ; Claudia Müller [Allemagne]Towards a Systematic Approach for Capturing Knowledge-Intensive Business Processes
000175 Peter Sturm [Allemagne] ; Hannes Frey [Allemagne] ; Daniel Gšrgen [Allemagne] ; Johannes Lehnert [Allemagne]Supporting Smart Applications in Multihop Ad-hoc Networks
000176 Alexander Tartakovski [Allemagne] ; Martin Schaaf [Allemagne] ; Rainer Maximini [Allemagne] ; Ralph Bergmann (informaticien) [Allemagne]MINLP Based Retrieval of Generalized Cases
000177 Rainer Maximini [Allemagne] ; Andrea Fre Mann [Allemagne] ; Martin Schaaf [Allemagne]Explanation Service for Complex CBR Applications
000178 Mohammad Ghasemzadeh [Allemagne] ; Volker Klotz [Allemagne] ; Christoph Meinel [Allemagne]Embedding Memoization to the Semantic Tree Search for Deciding QBFs
000179 Matthias R. Brust [Luxembourg (pays)] ; Daniel Görgen [Allemagne] ; Christian Hutter [Luxembourg (pays)] ; Steffen Rothkugel [Luxembourg (pays)]ADS as Information Management Service in an M-Learning Environment
000182 Laurent Granvilliers [France] ; Vladik Kreinovich [États-Unis] ; Norbert Müller [Allemagne]Novel Approaches to Numerical Software with Result Verification
000183 Stefan Klink [Allemagne]Improving Document Transformation Techniques with Collaborative Learned Term-Based Concepts
000184 Long Wang [Allemagne] ; Christoph Meinel [Allemagne]Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining
000185 Serge Linckels [Allemagne] ; Christoph Meinel [Allemagne]Automatic Interpretation of Natural Language for a Multimedia E-learning Tool
000186 Hannes Frey [Allemagne] ; Daniel Görgen [Allemagne] ; Johannes K. Lehnert [Allemagne] ; Peter Sturm [Allemagne]A Java-Based Uniform Workbench for Simulating and Executing Distributed Mobile Applications
000187 LONG WANG [Allemagne] ; Christoph Meinel [Allemagne]Behaviour recovery and complicated pattern definition in web usage mining
000188 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]Selected Applications of the Structural Case-Based Reasoning Approach
000189 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]Practical Guidelines for Developing Case-Based Reasoning Applications
000190 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]Case-Based Reasoning Approaches
000191 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]About this Author
000192 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]A. Compilation of INRECA Methodology Applications
000193 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]9. Developing Maintenance Applications
000194 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]8. Developing Intelligent Catalog Search Applications
000195 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]7. Developing Case-Based Help-Desk Support Systems for Complex Technical Equipment
000196 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]6. Documenting Case-Based Reasoning Development Experience
000197 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]5. Professional Case-Based Reasoning Application Development
000198 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]10. Developing Experience Factory Applications
000199 Ralph Bergmann (informaticien) [Allemagne] ; Klaus-Dieter Althoff [Allemagne] ; Sean Breen [Irlande (pays)] ; Mehmet Göker [États-Unis] ; Michel Manago [France] ; Ralph Traphöner [Allemagne] ; Stefan Wess [Allemagne]1. Making Smarter Business Decisions in Less Time
000200 Karl F. Wender [Allemagne] ; Daniel Haun [Allemagne] ; Björn Rasch [Allemagne] ; Matthias Blümke [Allemagne]Context Effects in Memory for Routes
000201 Wanjun Huang [Allemagne] ; Uwe Roth [Allemagne] ; Christoph Meinel [Allemagne]A Flexible Middleware Platform with Piped Workflow
000202 WANJUN HUANG [Allemagne] ; Uwe Roth [Allemagne] ; Christoph Meinel [Allemagne]A flexible middleware platform with piped workflow
000203 Christoph Meinel [Allemagne] ; Harald Sack [Allemagne] ; Arno Wagner [Suisse]WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
000205 Michael Ley [Allemagne]The DBLP Computer Science Bibliography: Evolution, Research Issues, Perspectives
000206 Markus Müller-Olm [Allemagne] ; Helmut Seidl [Allemagne]Polynomial Constants Are Decidable
000207 Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi
000208 Rainer Oechsle [Allemagne] ; Thomas Schmitt [Allemagne]JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI)
000209 Blaise Genest [France] ; Anca Muscholl [France] ; Helmut Seidl [Allemagne] ; Marc Zeitoun [France]Infinite-State High-Level MSCs: Model-Checking and Realizability
000212 Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]Automatic Complexity Analysis
000213 Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]Algorithms and Heuristics in VLSI Design
000215 Stuart Goose [États-Unis] ; Heiko Wanning [Allemagne] ; Georg Schneider [Allemagne]Mobile Reality: A PDA-based multimodal framework synchronizing a hybrid tracking solution with 3D graphics and location-sensitive speech interaction
000216 Sébastien Limet [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne]Weakly Regular Relations and Applications
000217 Norbert Th. Müller [Allemagne]The iRRAM: Exact Arithmetic in C++
000218 Valérie Gouranton [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne]Synchronized Tree Languages Revisited and New Applications
000219 Jürgen Forster [Allemagne] ; Matthias Krause [Allemagne] ; Satyanarayana V. Lokam [États-Unis] ; Rustam Mubarakzjanov [Allemagne] ; Niels Schmitt [Allemagne] ; Hans Ulrich Simon [Allemagne]Relations Between Communication Complexity, Linear Arrangements, and Computational Complexity
000223 Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]Data Structures for Boolean Functions BDDs — Foundations and Applications
000224 Flemming Nielson [Danemark] ; Helmut Seidl [Allemagne]Control-Flow Analysis in Cubic Time
000225 Monika Wagener [Allemagne] ; Silvia Mecklenbr Uker [Allemagne] ; Werner Wippich [Allemagne] ; Jörg E. Saathoff [Allemagne] ; André Melzer [Allemagne]Preparing a Cup of Tea and Writing a Letter: Do Script-Based Actions Influence the Representation of a Real Environment?
000226 Sabine Schumacher [Allemagne] ; Karl Friedrich Wender [Allemagne] ; Rainer Rothkegel [Allemagne]Influences of Context on Memory for Routes
000227 Ernst-Georg Haffner [Allemagne] ; Uwe Roth [Allemagne] ; Andreas Heuer [Allemagne] ; Thomas Engel [Allemagne] ; Christoph Meinel [Allemagne]What Do Hyperlink-Proposals and Request-Prediction Have in Common?
000228 Christoph Meinel [États-Unis, Allemagne] ; Christian Stangier [États-Unis, Allemagne]Speeding Up Image Computation by Using RTL Information
000229 Vikraman Arvind [Inde] ; Johannes Köbler [Allemagne] ; Martin Mundhenk [Allemagne] ; Jacobo Torán [Allemagne]Nondeterministic Instance Complexity and Hard-to-Prove Tautologies
000230 Gabriele Neyer [Suisse] ; Frank Wagner [Allemagne]Labeling Downtown
000231 Helmut Seidl [Allemagne] ; Bernhard Steffen [Allemagne]Constraint-Based Inter-Procedural Analysis of Parallel Programs
000232 Steffen Rothkugel [Allemagne] ; Peter Sturm [Allemagne]CarPAcities: Distributed Car Pool Agencies in Mobile Networks
000233 Ernst-Georg Haffner [Allemagne] ; Andreas Heuer [Allemagne] ; Uwe Roth [Allemagne] ; Thomas Engel [Allemagne] ; Christoph Meinel [Allemagne]Advanced Studies on Link Proposals and Knowledge Retrieval of Hypertexts with CBR
000235 Marcus Specht [Allemagne]ACE-Adaptive Courseware Environment
000236 Anna Bernasconi [Allemagne] ; Carsten Damm [Allemagne] ; Igor E. Shparlinski [Australie]On the Average Sensitivity of Testing Square-Free Numbers
000237 Helmut Seidl [Allemagne] ; Andreas Neumann [Allemagne]On Guarding Nested Fixpoints
000238 Carsten Damm [Allemagne] ; Ki Hang Kim [États-Unis] ; Fred Roush [États-Unis]On Covering and Rank Problems for Boolean Matrices and Their Applications
000239 Christoph W. Ke Ler [Allemagne] ; Helmut Seidl [Allemagne]Forklight: A control-synchronous parallel programming language
000240 C. W. Kessler [Allemagne] ; H. Seidl [Allemagne]ForkLight : A control-synchronous parallel programming language
000241 Silvia Mecklenbr Uker [Allemagne] ; Werner Wippich [Allemagne] ; Monika Wagener [Allemagne] ; Jörg E. Saathoff [Allemagne]Spatial Information and Actions
000242 Rainer Rothkegel [Allemagne] ; Karl F. Wender [Allemagne] ; Sabine Schumacher [Allemagne]Judging Spatial Relations from Memory
000243 Jochen Bern [Allemagne] ; Christoph Meinel [Allemagne] ; Harald Sack [Allemagne]The STACS Electronic Submission Service
000244 Erich J. Neuhold [Allemagne] ; Reginald Ferber [Allemagne]Scientific Digital Libraries in Germany: Global-Info, a Federal Government Initiative
000245 Anna Slobodova [États-Unis, Slovaquie] ; Christoph Meinel [Allemagne]Sample Method for Minimization of OBDDs
000246 Christian Fecht [Allemagne] ; Helmut Seidl [Allemagne]Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems
000247 Anna Slobodová [Allemagne]On the composition problem for OBDDs with multiple variable orders
000248 Stasys Jukna [Allemagne, Lituanie] ; Stanislav Žák [République tchèque]On branching programs with bounded uncertainty
000249 Carsten Damm [Allemagne]On Boolean vs. Modular arithmetic for circuits and communication protocols
000250 Stefan Edelkamp [Allemagne] ; Frank Reffel [Allemagne]OBDDs in heuristic search
000251 Andreas Neumann [Allemagne] ; Helmut Seidl [Allemagne]Locating Matches of Tree Patterns in Forests
000253 Lothar Baum [Allemagne] ; Lars Geyer [Allemagne] ; Georg Molter [Allemagne] ; Steffen Rothkugel [Allemagne] ; Peter Sturm [Allemagne]Architecture-Centric Software Development Based on Extended Design Spaces
000254 M. Mundhenk [Allemagne] ; A. Slobodova [Allemagne]Optimal non-approximability of MAXCLIQUE
000255 Klaus Jansen [Allemagne]The optimum cost chromatic partition problem
000256 J. Bern [Allemagne] ; C. Damm [Allemagne] ; Ch Meinel [Allemagne]The electronic colloquium on computational complexity (ECCC): A digital library in use
000257 Martin Mundhenk [Allemagne] ; Judy Goldsmith [États-Unis] ; Eric Allender [États-Unis]The complexity of policy evaluation for finite-horizon partially-observable Markov decision processes
000258 Christoph Meinel [Allemagne] ; Thorsten Theobald [Allemagne]On the influence of the state encoding on OBDD-representations of finite state machines
000259 S. Jukna [Allemagne] ; A. Razborov [Russie, Cuba] ; P. Savick [République tchèque, Swaziland] ; I. Wegener [Allemagne]On P versus NP∩co-NP for decision trees and read-once branching programs
000260 Thomas Erlebach [Allemagne] ; Klaus Jansen [Allemagne]Off-line and on-line call-scheduling in stars and trees
000261 Martin Mundhenk [Allemagne]NP-hard sets have many hard instances
000262 Christos Kaklamanis [Grèce] ; Pino Persiano [Italie] ; Thomas Erlebach [Allemagne] ; Klaus Jansen [Allemagne]Constrained bipartite edge coloring with applications to wavelength routing
000263 Niko Bari [Allemagne] ; Birgit Pfitzmann [Allemagne]Collision-Free Accumulators and Fail-Stop Signature Schemes Without Trees
000264 Klaus Jansen [Allemagne]Approximation results for the optimum cost chromatic partition problem
000265 Christoph W. Ke Ler [Allemagne]Applicability of program comprehension to sparse matrix computations
000267 Christoph Meinel [Allemagne] ; Anna Slobodová [Allemagne]A reducibility concept for problems defined in terms of ordered binary decision diagrams
000268 Klaus Jansen [Allemagne] ; Joachim Reiter [Allemagne]A new approximation algorithm for the register allocation problem
000269 C. W. Kessler [Allemagne]Applicability of program comprehension to sparse matrix computations
000270 Christoph Meinel [Allemagne] ; Stephan WaackThe “log rank” conjecture for modular communication complexity
000271 Carsten Damm [Allemagne] ; Stasys Jukna [Allemagne] ; Ji Sgall [République tchèque]Some bounds on multiparty communication complexity of pointer jumping
000272 Christoph W. Ke Ler [Allemagne]Scheduling expression DAGs for minimal register need
000273 Mirosław Kutyłowski [Allemagne] ; Krzysztof Lory [Pologne, Allemagne] ; Brigitte Oesterdiekhoff [Allemagne]Periodic merging networks
000274 Christoph W. Ke Ler [Allemagne]Parallel Fourier-Motzkin elimination
000275 Christoph Meinel [Allemagne] ; Thorsten Theobald [Allemagne]Local encoding transformations for optimizing OBDD-representations of finite state machines
000276 Helmut Seidl [Allemagne]Integer constraints to stop deforestation
000277 Artur Czumaj [Allemagne] ; Przemysława Kanarek [Pologne] ; Mirosław Kutyłowski [Allemagne] ; Krzysztof Lory [Pologne, Allemagne]Fast generation of random permutations via networks simulation
000279 Robert Burow [Allemagne] ; Gerhard Weber [Allemagne]Example explanation in learning environments
000280 Peter Brusilovsky [Allemagne] ; Elmar Schwarz [Allemagne] ; Gerhard Weber [Allemagne]ELM-ART: An intelligent tutoring system on world wide web
000282 Christian Fecht [Allemagne] ; Helmut Seidl [Allemagne]An even faster solver for general systems of equations
000283 C. W. Kessler [Allemagne]Scheduling expression DAGs for minimal register need
000284 C. W. Kessler [Allemagne]Parallel Fourier-Motzkin elimination
000285 M. Kutylowski [Allemagne] ; K. Lorys [Allemagne]Limitations of the QRQW and EREW PRAM models
000286 H. L. Bodlaender [Pays-Bas] ; J. S. Deogun [États-Unis] ; K. Jansen [Allemagne] ; T. Kloks [Pays-Bas] ; D. Kratsch [Allemagne] ; H. Müller [Allemagne] ; Zs. Tuza [Hongrie]Rankings of graphs
000287 M. Mundhenk [Allemagne]On monotonous oracle machines
000288 Christoph Meinel [Allemagne] ; Stephan WaackLower bounds for the majority communication complexity of various graph accessibility problems
000289 Thorsten Theobald [Allemagne]How to Break Shamir’s Asymmetric Basis
000290 Jochen Bern [Allemagne] ; Christoph Meinel [Allemagne] ; Anna Slobodová [Allemagne]Global rebuilding of OBDDs avoiding memory requirement maxima
000291 Gerhard Weber [Allemagne]Examples and remindings in a case-based help system
000292 Carsten Damm [Allemagne] ; Markus Holzer [Allemagne]Automata that take advice
000293 Klaus Jansen [Allemagne] ; Haiko Müller [Allemagne]The minimum broadcast time problem
000294 Christoph Meinel [Allemagne] ; Anna Slobodová [Allemagne]On the complexity of constructing optimal ordered binary decision diagrams
000295 Martin Mundhenk [Allemagne]On self-reducible sets of low information content
000296 Carsten Damm [Allemagne] ; Markus Holzer [Allemagne]Inductive counting below logspace
000297 B. Walter [Allemagne] ; S. Benzschawel [Allemagne]Complex structures in (deductive) database systems: Variables and open property sets
000298 Christoph Meinel [Allemagne] ; Stephan Waack [Allemagne]Separating complexity classes related to bounded alternating Ω-branching programs
000299 Hans L. Bodlaender [Pays-Bas] ; Klaus Jansen [Allemagne] ; Gerhard J. Woeginger [Autriche]Scheduling with incompatible jobs
000300 Hans L. Bodlaender [Pays-Bas] ; Klaus Jansen [Allemagne]On the complexity of scheduling incompatible jobs with unit-times
000301 Klaus Jansen [Allemagne]On scheduling problems restricted to interval orders
000302 Klaus Jansen [Allemagne] ; Petra Scheffler [Allemagne] ; Gerhard J. Woeginger [Autriche]Maximum covering with D cliques
000304 Jordan Gergov ; Christoph Meinel [Allemagne]Frontiers of feasible and probabilistic feasible Boolean manipulation with branching programs
000305 Jordan Gergov ; Christoph Meinel [Allemagne]Analysis and manipulation of Boolean functions in terms of decision graphs
000307 Burghard B. Rieger [Allemagne]Distributed semantic representation of word meanings
000308 Thomas Ludwig [Allemagne] ; Bernd Walter [Allemagne]Database concepts for the support of knowledge-based systems
000309 Toni Bollinger [Allemagne] ; Karl-Hans Bl Sius [Allemagne] ; Uli Hedtstück [Allemagne]Knowledge processing in the LILOG project from the first to the second prototype

Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024