203 search results - page 4 / 41 » A New Notation for Arrows |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Existing grammar frameworks do not work out particularly well for controlled natural languages (CNL), especially if they are to be used in predictive editors. I introduce in this p...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
ACS
2006
13 years 7 months ago
2006
We have introduced, in a previous paper, the fundamental lax 2-category of a `directed space' X. Here we show that, when X has a T1-topology, this structure can be embedded i...
DLOG
2007
13 years 10 months ago
2007
We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
VL
2002
IEEE
14 years 16 days ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...