Sciweavers

3718 search results - page 11 / 744
» IMPS: System Description
Sort
View
ENTCS
2002
132views more  ENTCS 2002»
13 years 8 months ago
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
Peter D. Mosses
LREC
2010
156views Education» more  LREC 2010»
13 years 6 months ago
A Description of Morphological Features of Serbian: a Revision using Feature System Declaration
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
Cvetana Krstev, Ranka Stankovic, Dusko Vitas
APWEB
2011
Springer
13 years 3 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
DLOG
2004
13 years 9 months ago
Sonic: System Description
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
Anni-Yasmin Turhan, Christian Kissig
ANLP
1994
73views more  ANLP 1994»
13 years 9 months ago
Understanding Location Descriptions in the LEI System
Biological specimens have historicallybeen labeled with English descriptions of the location of collection. To perform spatial, statistical, or historic studies, these description...
David N. Chin, Matthew McGranaghan, Tung-Tse Chen