Skip to content
  • Log in
CKAN
  • Datasets
  • Organizations
  • Groups
  • About
  1. Home
  2. Datasets

Organizations

  • test_moissonnage_se... - 8

Groups

  • type:COMM - 4
  • type:ART - 1

Tags

  • lncs - 8
  • conference-papers - 6
  • infoeu-reposemantic... - 6
  • infoinfo-aicomputer... - 4
  • interactive-storyte... - 4
  • linear-logic - 4
  • infoinfo-dccomputer... - 3
  • distributed-systems - 2
  • proof-graph - 2
  • scenario-validation - 2

Show More Tags

Formats

  • HTML - 8

Licenses

  • https://about.hal.s... - 6

close

8 datasets found

Tags: lncs

Filter Results
  • A Methodology to Validate Interactive Storytelling Scenarios in Linear Logic

    29 pages
    • HTML
  • Modeling of Interactive Storytelling and Validation of Scenario by Means of L...

    13 pages
    • HTML
  • How Authors Benefit from Linear Logic in the Authoring Process of Interactive...

    12 pages
    • HTML
  • Load Balancing in Distributed Applications Based on Extremal Optimization

    10 pages
    • HTML
  • Extremal Optimization Applied to Task Scheduling of Distributed Java Programs

    International audience
    • HTML
  • Distributed Java Programs Initial Mapping Based on Extremal Optimization

    11 pages
    • HTML
  • Linear Logic Validation and Hierarchical Modeling for Interactive Storytellin...

    International audience
    • HTML
  • Biomedical Knowledge Extraction Using Fuzzy Differential Profiles and Semanti...

    International audience
    • HTML
You can also access this registry using the API (see API Docs).
  • About CKAN
  • CKAN API
  • CKAN Association
  • Open Data

Powered by CKAN