Sciweavers

2469 search results - page 305 / 494
» Representations of Metabolic Knowledge
Sort
View
AUSAI
2008
Springer
15 years 2 months ago
Working for Two: A Bidirectional Grammar for a Controlled Natural Language
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
Rolf Schwitter
CONCUR
2008
Springer
15 years 2 months ago
Strategy Construction for Parity Games with Imperfect Information
We consider imperfect-information parity games in which strategies rely on observations that provide imperfect information about the history of a play. To solve such games, i.e., t...
Dietmar Berwanger, Krishnendu Chatterjee, Laurent ...
BCSHCI
2007
15 years 2 months ago
Challenges of evaluating the information visualisation experience
Information Visualisation (InfoVis) is defined as an ive visual representation of abstract data. We view the user’s interaction with InfoVis tools as an experience which is made...
Sarah Faisal, Paul A. Cairns, Ann Blandford
102
Voted
ISEMANTICS
2010
15 years 2 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
81
Voted
LREC
2010
115views Education» more  LREC 2010»
15 years 2 months ago
A General Methodology for Equipping Ontologies with Time
In the first part of this paper, we present a framework for enriching arbitrary upper or domain-specific ontologies with a concept of time. To do so, we need the notion of a time ...
Hans-Ulrich Krieger