Sciweavers

1809 search results - page 77 / 362
» Using GDE in Educational Systems
Sort
View
112
Voted
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 3 months ago
A resource-based Korean morphological annotation system
We describe a resource-based method of morphological annotation of written Korean text. Korean is an agglutinative language. The output of our system is a graph of morphemes annot...
Hyun-Gue Huh, Eric Laporte
58
Voted
CORR
2010
Springer
53views Education» more  CORR 2010»
15 years 3 months ago
wiki.openmath.org - how it works, how you can participate
At http://wiki.openmath.org, the OpenMath 2 and 3 Content Dictionaries are accessible via a semantic wiki interface, powered by the SWiM system. We shortly introduce the inner work...
Christoph Lange 0002
118
Voted
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 3 months ago
The semantic mapping of words and co-words in contexts
Meaning can be generated when information is related at a systemic level. Such a system can be an observer, but also a discourse, for example, operationalized as a set of document...
Loet Leydesdorff, Kasper Welbers
102
Voted
CORR
2002
Springer
105views Education» more  CORR 2002»
15 years 3 months ago
Cooperation between Pronoun and Reference Resolution for Unrestricted Texts
Anaphora resolution is envisaged in this paper as part of the reference resolution process. A general open architecture is proposed, which can be particularized and configured in ...
Andrei Popescu-Belis, Isabelle Robba
137
Voted
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 2 months ago
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
Guillaume Burel