Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Using Mental Models to Design for Learning: Lessons from Game Development
Learning and Collaboration Technologies. Novel Learning Ecosystems, p.433-442
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Path-Based Semantic Relatedness on Linked Data and Its Use to Word and Entity Disambiguation
The Semantic Web - ISWC 2015, p.442-457
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Semantics of BPEL4WS-Like Fault and Compensation Handling
FM 2005: Formal Methods, 2005, p.350-365
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Revisiting TCP Congestion Control Using Delay Gradients
NETWORKING 2011, p.328-341
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The consensus glossary of temporal database concepts — February 1998 version
Lecture notes in computer science, 2006, p.367-405
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Classroom Gamification: Merging Game Design Theory and Behavior Analysis for Increased Engagement
Learning and Collaboration Technologies. Learning and Teaching, p.150-163
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Control Law Diagrams in Circus
FM 2005: Formal Methods, 2005, p.253-268
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
When owl:sameAs Isn’t the Same: An Analysis of Identity in Linked Data
The Semantic Web – ISWC 2010, p.305-320
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model-Checking of Specifications Integrating Processes, Data and Time
FM 2005: Formal Methods, 2005, p.465-480
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modular Verification of Static Class Invariants
FM 2005: Formal Methods, 2005, p.26-42
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Online Control Framework for Designing Self-Optimizing Computing Systems: Application to Power Management
Lecture notes in computer science, 2005, p.174-188
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion
FM 2005: Formal Methods, 2005, p.399-414
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Dependable Communication Synthesis for Distributed Embedded Systems
Computer Safety, Reliability, and Security, 2003, p.275-288
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Formal Model of Addressing for Interoperating Networks
FM 2005: Formal Methods, 2005, p.318-333
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Personalizing Actions in Context for Risk Management Using Semantic Web Technologies
The Semantic Web – ISWC 2017, p.367-383
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
An Approach to Holistic Development of Serious Games and Learning Simulations
Learning and Collaboration Technologies. Technology-Rich Environments for Learning and Collaboration, p.42-49
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Distance Estimation with a Two or Three Aperture SLR Digital Camera
Advanced Concepts for Intelligent Vision Systems, p.25-36
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Approach to Unfolding Asynchronous Communication Protocols
FM 2005: Formal Methods, 2005, p.334-349
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Re-using Implicit Knowledge in Short-Term Information Profiles for Context-Sensitive Tasks
Case-Based Reasoning Research and Development, 2005, p.312-326
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Language Games: Solving the Vocabulary Problem in Multi-Case-Base Reasoning
Case-Based Reasoning Research and Development, 2005, p.35-49
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formally Defining and Verifying Master/Slave Speculative Parallelization
FM 2005: Formal Methods, 2005, p.123-138
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tagsocratic: Learning Shared Concepts on the Blogosphere
Intelligent Technologies for Interactive Entertainment, 2005, p.324-327
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graph-Based Acquisition of Expressive Knowledge
Engineering Knowledge in the Age of the Semantic Web, 2004, p.231-247
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Shaping a CBR view with XML
Case-Based Reasoning Research and Development, 1999, p.468-481
1999
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Graph-Based Methods for Clustering Topics of Interest in Twitter
Engineering the Web in the Big Data Era, p.701-704
Volltextzugriff (PDF)
1 – 25 von 48
Suche als RSS-Feed
Aktive Filter
KollektionEbook Central Perpetual and DDA
PublikationsformArtikel
KollektionSpringerLink Series
Suchergebnisse filtern
Filter anzeigen