Sciweavers

930 search results - page 120 / 186
» Educating the Humanities for e-Science
Sort
View
CORR
2006
Springer
103views Education» more  CORR 2006»
14 years 10 months ago
Unifying Lexicons in view of a Phonological and Morphological Lexical DB
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
Federico Calzolari, Michele Mammini, Monica Monach...
CORR
2006
Springer
100views Education» more  CORR 2006»
14 years 10 months ago
Automatic annotation of multilingual text collections with a conceptual thesaurus
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
Bruno Pouliquen, Ralf Steinberger, Camelia Ignat
CORR
2007
Springer
128views Education» more  CORR 2007»
14 years 10 months ago
Verified Real Number Calculations: A Library for Interval Arithmetic
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
Marc Daumas, David Lester, César Muñ...
CORR
2007
Springer
98views Education» more  CORR 2007»
14 years 10 months ago
Enrichment of Qualitative Beliefs for Reasoning under Uncertainty
– This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic label...
Xinde Li, Xinhan Huang, Florentin Smarandache, Jea...
AAI
2005
124views more  AAI 2005»
14 years 10 months ago
Lessons From Emotion Psychology For The Design Of Lifelike Characters
This special issue describes a number of applications that utilize lifelike characters that teach indirectly, by playing some role in a social interaction with a user. The design ...
Jonathan Gratch, Stacy Marsella