Sciweavers

665 search results - page 80 / 133
» A proposal for an owl rules language
Sort
View
NLDB
2001
Springer
15 years 10 months ago
Lexical Enrichment of WordNet with Classification Systems Using Specification Marks Method
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
Andrés Montoyo, Manuel Palomar, German Riga...
TABLEAUX
1999
Springer
15 years 10 months ago
A Tableau Calculus for Pronoun Resolution
Appeared in: N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), Lecture Notes in Artificial Intelligence 1617, Springer, pages 2...
Christof Monz, Maarten de Rijke
ACSC
2004
IEEE
15 years 10 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
ICFCA
2007
Springer
16 years 9 days ago
A Parameterized Algorithm for Exploring Concept Lattices
Kuznetsov shows that Formal Concept Analysis (FCA) is a natural framework for learning from positive and negative examples. Indeed, the results of learning from positive examples (...
Peggy Cellier, Sébastien Ferré, Oliv...
ICTAI
2007
IEEE
16 years 14 days ago
A Methodology for Reader's Emotional State Extraction to Augment Expressions in Speech Synthesis
This paper presents a methodology for the real-time extraction of readers’ emotional state from documents as well as the representation of emotionally annotated documents into a...
Dimitrios Tsonos, Gerasimos Xydas, Georgios Kourou...